Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Rasmus Ejlers Møgelberg
2010 – today
- 2012
[j12]Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring: First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Logical Methods in Computer Science 8(4) (2012)- [j11]Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson: Linear-use CPS translations in the Enriched Effect Calculus. Logical Methods in Computer Science 8(4) (2012)
- 2011
- [c7]Rasmus Ejlers Møgelberg, Sam Staton: Linearly-Used State in Models of Call-by-Value. CALCO 2011: 298-313
- [c6]Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring: First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. LICS 2011: 55-64
- 2010
- [j10]Rasmus Ejlers Møgelberg: A Nominal Relational Model for Local Store. Electr. Notes Theor. Comput. Sci. 265: 403-421 (2010)
- [c5]Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson: Linearly-Used Continuations in the Enriched Effect Calculus. FOSSACS 2010: 18-32
2000 – 2009
- 2009
- [j9]Rasmus Ejlers Møgelberg, Alex Simpson: Relational Parametricity for Computational Effects. Logical Methods in Computer Science 5(3) (2009)
- [j8]Rasmus Ejlers Møgelberg: From parametric polymorphism to models of polymorphic FPC. Mathematical Structures in Computer Science 19(4): 639-686 (2009)
- [c4]Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson: Enriching an Effect Calculus with Linear Types. CSL 2009: 240-254
- 2008
- [j7]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
- [j6]Rasmus Ejlers Møgelberg, Alex Simpson: Relational Parametricity for Control Considered as a Computational Effect. Electr. Notes Theor. Comput. Sci. 173: 295-312 (2007)
- [j5]Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Domain-theoretical models of parametric polymorphism. Theor. Comput. Sci. 388(1-3): 152-172 (2007)
- [c3]Rasmus Ejlers Møgelberg, Alex Simpson: Relational Parametricity for Computational Effects. LICS 2007: 346-355
- [c2]Rasmus Ejlers Møgelberg, Alex Simpson: A Logic for Parametric Polymorphism with Effects. TYPES 2007: 142-156
- 2006
- [j4]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)
- [j3]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)
- [j2]Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Linear Abadi and Plotkin Logic. Logical Methods in Computer Science 2(5) (2006)
- [c1]Rasmus Ejlers Møgelberg: Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism. ICALP (2) 2006: 372-383
- [i1]Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Linear Abadi and Plotkin Logic. CoRR abs/cs/0611004 (2006)
- 2005
- [j1]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)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:27 CET by the dblp team