![Software engineering / Computing / Programming language theory / Type theory / Formal methods / Functional languages / Procedural programming languages / Data types / Type system / F Sharp / HindleyMilner type system / First-order logic Software engineering / Computing / Programming language theory / Type theory / Formal methods / Functional languages / Procedural programming languages / Data types / Type system / F Sharp / HindleyMilner type system / First-order logic](https://www.pdfsearch.io/img/eb4d34ffc61f33ccbc3a0cdde7dd663b.jpg) Date: 2012-02-28 13:28:34Software engineering Computing Programming language theory Type theory Formal methods Functional languages Procedural programming languages Data types Type system F Sharp HindleyMilner type system First-order logic | | Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft ResearchAdd to Reading ListSource URL: www.doc.ic.ac.ukDownload Document from Source Website File Size: 360,71 KBShare Document on Facebook
|