Our research
Connections
Careers
About us
Microsoft Translator
|
All
Downloads
Events
Groups
News
People
Projects
Publications
Videos
Mechanized soundness proofs for F*
Pierre-Yves Strub, Cedric Fournet, and Nikhil Swamy
1 April 2011
File
Details
Type
Miscellaneous
Related Projects
F*: A Verifying ML Compiler for Distributed Programming
Related People
Cedric Fournet
Nikhil Swamy
Share
>
Publications
>
Mechanized soundness proofs for F*
