Back to Results
First PageMeta Content
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


Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research
Add to Reading List

Document Date: 2012-02-28 13:28:34

Open Document

File Size: 360,71 KB

Share Result on Facebook