|
26
|
Environmental bisimulations for higher-order languages
– Davide Sangiorgi
- 2007
|
|
8
|
Parametric polymorphism through run-time sealing, or, theorems for low, low prices!
– Jacob Matthews, Amal Ahmed
- 2008
|
|
1
|
Principia Narcissus: How to Avoid Being Caught by Your Reflection
– Geoffrey Washburn
- 2007
|
|
43
|
State-dependent representation independence
– Amal Ahmed, Derek Dreyer, Andreas Rossberg
- 2009
|
|
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
|
|
36
|
A bisimulation for type abstraction and recursion
– Eijiro Sumii, Benjamin C. Pierce
- 2005
|
|
10
|
Logical Step-Indexed Logical Relations
– Derek Dreyer, Amal Ahmed, Lars Birkedal
|
|
33
|
Dynamic Opacity for Abstract Types
– Andreas Rossberg
|
|
8
|
Free theorems and runtime type representations
– Dimitrios Vytiniotis, Stephanie Weirich
- 2007
|
|
9
|
Type-Safe Distributed Programming for OCaml
– John Billings , Peter Sewell, Mark Shinwell, Rok Strnisa
- 2006
|
|
4
|
Superficially Substructural Types
– Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
|
|
21
|
The impact of higher-order state and control effects on local relational reasoning
– Derek Dreyer, Georg Neis, Lars Birkedal
- 2010
|
|
14
|
Step-indexed Kripke models over recursive worlds
– Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
- 2011
|
|
2
|
Dynamic Translucency with Abstraction Kinds and Higher-order Coercions
– Andreas Rossberg
- 2008
|
|
14
|
A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References
– Eijiro Sumii
- 2009
|
|
15
|
Alice through the looking glass
– Didier Le Botlan, Guido Tack, Andreas Rossberg, Andreas Rossberg, Didier Le, Botlan Guido Tack, Thorsten Brunklaus, Thorsten Brunklaus, Gert Smolka, Gert Smolka
- 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
|
|
|
Research Statement
– Kristina Lerman My, Kristina Lerman
|
