| 2008 |
|---|
| 11 | EE | Rasmus Ejlers Møgelberg,
Lars Birkedal,
Giuseppe Rosolini:
Synthetic domain theory and models of linear Abadi & Plotkin logic.
Ann. Pure Appl. Logic 155(2): 115-133 (2008) |
| 2007 |
|---|
| 10 | EE | Rasmus Ejlers Møgelberg,
Alex Simpson:
Relational Parametricity for Computational Effects.
LICS 2007: 346-355 |
| 9 | EE | Rasmus Ejlers Møgelberg,
Alex Simpson:
A Logic for Parametric Polymorphism with Effects.
TYPES 2007: 142-156 |
| 8 | EE | Rasmus Ejlers Møgelberg,
Alex Simpson:
Relational Parametricity for Control Considered as a Computational Effect.
Electr. Notes Theor. Comput. Sci. 173: 295-312 (2007) |
| 7 | EE | Lars Birkedal,
Rasmus Ejlers Møgelberg,
Rasmus Lerchedahl Petersen:
Domain-theoretical models of parametric polymorphism.
Theor. Comput. Sci. 388(1-3): 152-172 (2007) |
| 2006 |
|---|
| 6 | EE | Rasmus Ejlers Møgelberg:
Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism.
ICALP (2) 2006: 372-383 |
| 5 | EE | Lars Birkedal,
Rasmus Ejlers Møgelberg,
Rasmus Lerchedahl Petersen:
Linear Abadi and Plotkin Logic
CoRR abs/cs/0611004: (2006) |
| 4 | EE | Lars Birkedal,
Rasmus Ejlers Møgelberg,
Rasmus Lerchedahl Petersen:
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus.
Electr. Notes Theor. Comput. Sci. 155: 191-217 (2006) |
| 3 | EE | Rasmus Ejlers Møgelberg,
Lars Birkedal,
Giuseppe Rosolini:
Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic.
Electr. Notes Theor. Comput. Sci. 155: 219-245 (2006) |
| 2 | EE | Lars Birkedal,
Rasmus Ejlers Møgelberg,
Rasmus Lerchedahl Petersen:
Linear Abadi and Plotkin Logic.
Logical Methods in Computer Science 2(5): (2006) |
| 2005 |
|---|
| 1 | EE | Lars Birkedal,
Rasmus Ejlers Møgelberg:
Categorical models for Abadi and Plotkin's logic for parametricity.
Mathematical Structures in Computer Science 15(4): 709-772 (2005) |
