3 ms·
What's the difference between this work and for instance [1] where they use F7 and F#? [1] Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pi
by yodsanklai 12y ago
What's the difference between this work and for instance [1] where they use F7 and F#?
[1] Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub: Implementing TLS with Verified Cryptographic Security. IEEE Symposium on Security and Privacy 2013
- tomp 12y agoUh, thanks for this. I think I saw this before, but I haven't read it thoroughly. Skimming through it, it looks like a similar idea (but probably much more advanced). Of course, F# wasn't designed with refined types in mind, so the syntax is IMO a bit more awkward.