 | 2009 |
|---|
| 14 |       | Jeff Egger,
Rasmus Ejlers Møgelberg,
Alex Simpson:
Enriching an Effect Calculus with Linear Types.
CSL 2009: 240-254 |
| 13 | | Rasmus Ejlers Møgelberg,
Alex Simpson:
Relational Parametricity for Computational Effects
Logical Methods in Computer Science 5(3): (2009) |
| 12 | | Rasmus Ejlers Møgelberg:
From parametric polymorphism to models of polymorphic FPC.
Mathematical Structures in Computer Science 19(4): 639-686 (2009) |
| 2008 |
|---|
| 11 | | 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 | | Rasmus Ejlers Møgelberg,
Alex Simpson:
Relational Parametricity for Computational Effects.
LICS 2007: 346-355 |
| 9 | | Rasmus Ejlers Møgelberg,
Alex Simpson:
A Logic for Parametric Polymorphism with Effects.
TYPES 2007: 142-156 |
| 8 | | 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 | | 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 | | Rasmus Ejlers Møgelberg:
Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism.
ICALP (2) 2006: 372-383 |
| 5 | | Lars Birkedal,
Rasmus Ejlers Møgelberg,
Rasmus Lerchedahl Petersen:
Linear Abadi and Plotkin Logic
CoRR abs/cs/0611004: (2006) |
| 4 | | 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 | | 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 | | Lars Birkedal,
Rasmus Ejlers Møgelberg,
Rasmus Lerchedahl Petersen:
Linear Abadi and Plotkin Logic.
Logical Methods in Computer Science 2(5): (2006) |
| 2005 |
|---|
| 1 | | 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) |
