Active Bibliography

65 Polymorphism and separation in Hoare type theory – Aleksandar Nanevski, Greg Morrisett, Lars Birkedal - 2006
15 A realizability model of impredicative hoare type theory – Rasmus Lerchedahl Petersen, Lars Birkedal, Ar Nanevski, Greg Morrisett - 2007
Language-based Enforcement of User-defined Security Policies As Applied to Multi-tier Web Programs – Michael Hicks - 2008
5 Linear Logic and Imperative Programming – Limin Jia - 2008
62 An Effective Theory of Type Refinements – Yitzhak Mandelbaum, David Walker, Robert Harper - 2002
36 Modular Data Structure Verification – Martin C. Rinard - 2007
Interpretational Overhead in system software – Boris Feigin - 2011
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
1 Cause and Effect: Type Systems for Effects and Dependencies – Geoffrey Washburn - 2005
16 Ynot: Reasoning with the awkward squad – Aleksandar Nanevski, Greg Morrisett, Avi Shinnar, Paul Govereau, Lars Birkedal - 2008
36 Ynot: Dependent types for imperative programs – Aleksandar Nanevski, Greg Morrisett, Avi Shinnar, Paul Govereau, Lars Birkedal - 2008
Typed Stateful Programming – Dengping Zhu - 2004
112 Modular Automatic Assertion Checking with Separation Logic – Josh Berdine, Cristiano Calcagno, Peter O'Hearn - 2005
14 A Hoare Logic for Call-by-Value Functional Programs – Yann Régis-gianas, François Pottier
Modular Machine Code Verification – Zhaozhong Ni - 2007
34 Unifying Type Checking and property checking for low-level code – Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer - 2009
15 ILC: A Foundation for Automated Reasoning About Pointer Programs – Limin Jia, David Walker - 2005
8 Modular monad transformers – Mauro Jaskelioff - 2009
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998