|
|
The Impact of Higher-Order State and Control . . .
– Derek Dreyer, Georg Neis, Lars Birkedal
- 2012
|
|
14
|
A Relational Modal Logic for Higher-Order Stateful ADTs
– Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
|
|
1
|
A Bisimulation-Like Proof Method for Contextual Properties in Untyped λ-Calculus with References and Deallocation ✩
– Eijiro Sumii
|
|
14
|
Step-indexed Kripke models over recursive worlds
– Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
- 2011
|
|
10
|
Logical Step-Indexed Logical Relations
– Derek Dreyer, Amal Ahmed, Lars Birkedal
|
|
14
|
A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References
– Eijiro Sumii
- 2009
|
|
|
A Co-Inductive Proof Method for Contextual Properties in Untyped λ-Calculus with References and Deallocation ✩
– Eijiro Sumii
|
|
|
Limitations of Applicative Bisimulation
– Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
|
|
3
|
A Kripke Logical Relation Between ML and Assembly
– Chung-kil Hur, Derek Dreyer
|
|
7
|
Non-parametric Parametricity
– Georg Neis, Derek Dreyer, Andreas Rossberg
- 2010
|
|
|
The Transitive Composability of Relation Transition Systems
– Chung-kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis
|
|
1
|
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
– Dan R. Ghica
|
|
|
An Automata-Theoretic Model of Idealized Algol
– Uday S. Reddy, Brian P. Dunphy
|
|
5
|
Realisability semantics of parametric polymorphism, general references
– Lars Birkedal, Kristian Støvring, Jacob Thamsborg
- 2009
|
|
4
|
Superficially Substructural Types
– Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
|
|
1
|
Theory for Software Verification
– David A. Naumann
- 2009
|
|
10
|
Relational parametricity for references and recursive types
– Lars Birkedal, Kristian Støvring, Jacob Thamsborg
- 2009
|
|
36
|
A bisimulation for type abstraction and recursion
– Eijiro Sumii, Benjamin C. Pierce
- 2005
|
|
|
Compositional Compiler Correctness with Quantified Types
– Nick Benton, Chung-kil Hur
|
