Search the dblp DataBase

Publications of Author

1. Rasmus Ejlers Møgelberg
   Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism. [Citation Graph (0, 0)][DBLP]
   ICALP (2), 2006, pp:372-383 [Conf]
   
2. Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
   Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:191-217 [Journal]
   
3. Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini
   Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:219-245 [Journal]
   
4. Rasmus Ejlers Møgelberg, Alex Simpson
   Relational Parametricity for Control Considered as a Computational Effect. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:295-312 [Journal]
   
5. Lars Birkedal, Rasmus Ejlers Møgelberg
   Categorical models for Abadi and Plotkin's logic for parametricity. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:709-772 [Journal]
   
6. Rasmus Ejlers Møgelberg, Alex Simpson
   Relational Parametricity for Computational Effects. [Citation Graph (0, 0)][DBLP]
   LICS, 2007, pp:346-355 [Conf]
   
7. Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
   Linear Abadi and Plotkin Logic [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
8. 
   Enriching an Effect Calculus with Linear Types. [Citation Graph (, )][DBLP]
   
   
9. 
   Linearly-Used Continuations in the Enriched Effect Calculus. [Citation Graph (, )][DBLP]
   
   
10. 
    A Logic for Parametric Polymorphism with Effects. [Citation Graph (, )][DBLP]
    
    
11. 
    Synthetic domain theory and models of linear Abadi & Plotkin logic. [Citation Graph (, )][DBLP]
    
    
12. 
    Relational Parametricity for Computational Effects [Citation Graph (, )][DBLP]