|
11
|
Formalizing and verifying semantic type soundness for a simple compiler
– Nick Benton, Uri Zarfaty
- 2007
|
|
14
|
A Relational Modal Logic for Higher-Order Stateful ADTs
– Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
|
|
10
|
Relational parametricity for references and recursive types
– Lars Birkedal, Kristian Støvring, Jacob Thamsborg
- 2009
|
|
5
|
Realisability semantics of parametric polymorphism, general references
– Lars Birkedal, Kristian Støvring, Jacob Thamsborg
- 2009
|
|
|
Parametric Polymorphism, General References, and Recursive Types
– Lars Birkedal, Kristian Støvring, Jacob Thamsborg, Lars Birkedal, Kristian Støvring, Jacob Thamsborg, Rued Langgaards Vej, Lars Birkedal, Kristian Støvring, Jacob Thamsborg
|
|
4
|
Superficially Substructural Types
– Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
|
|
|
Syntactic soundness proof
– Hidden State
|
|
|
A Kripke Logical Relation for Effect- Based Program Transformations
– Jacob Thamsborg, Lars Birkedal
|
|
18
|
Semantic Types: A Fresh Look at the Ideal Model for Types
– Jérôme Vouillon, Paul-André Melliès
- 2004
|
|
13
|
A realizability model of impredicative hoare type theory
– Rasmus Lerchedahl Petersen, Lars Birkedal, Ar Nanevski, Greg Morrisett
- 2007
|
|
17
|
Abstracting Allocation: The New new Thing
– Nick Benton
- 2006
|
|
|
Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State
– Jan Schwinghammer (saarl
- 2011
|
|
10
|
Logical reasoning for higher-order functions with local state
– Nobuko Yoshida, Kohei Honda, Martin Berger, Queen Mary
- 2006
|
|
7
|
Semantic foundations for typed assembly languages
– Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang
- 2008
|
|
15
|
Compiling functional types to relational specifications for low level imperative code
– Nick Benton, Nicolas Tabareau
- 2009
|
|
3
|
A Kripke Logical Relation Between ML and Assembly
– Chung-kil Hur, Derek Dreyer
|
|
20
|
Biorthogonality, Step-Indexing and Compiler Correctness
– Nick Benton, Chung-Kil Hur
- 2009
|
|
|
A STEP-INDEXED SEMANTICS OF IMPERATIVE OBJECTS
– unknown authors
- 906
|
|
|
Under consideration for publication in J. Functional Programming 1
– Non-parametric Parametricity, Georg Neis, Derek Dreyer, Andreas Rossberg
- 2010
|
