
Rasmus Ejlers Møgelberg
Associate Professor
- Programming Logic and Semantics
Research Group
- Computer Science
Department
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4C12
Information Desk: 72185000
- 2006
- Published
Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism
Møgelberg, R. E., 2006, In: Lecture Notes in Computer Science. 4052Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- 2007
- Published
Relational parametricity for Computational Effects
Møgelberg, R. E. & Simpson, A., 2007.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review
- Published
Relational parametricity for control considered as a computational effect
Møgelberg, R. E. & Simpson, A., 2007, In: Electronical Notes in Theoretical Computer Science. 173Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 2008
- Published
A logic for parametric polymorphism with effects
Møgelberg, R. E. & Simpson, A., 2008, In: Lecture Notes in Computer Science. 4941, p. 142-156Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Category-theoretic models of linear Abadi & Plotkin Logic.
Birkedal, L., Møgelberg, R. E. & Lerchedahl Petersen, R., 2008, In: Theory and Applications of Categories. 20, 7, p. 116-151 35 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic
Møgelberg, R. E., Birkedal, L. & Rosolini, G., 2 Sep 2008, In: Annals of Pure and Applied Logic. 155, 2, p. 115-133 19 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 2009
- Published
Enriching an effect calculus with linear types
Egger, J., Møgelberg, R. E. & Simpson, A., 2009, In: Lecture Notes in Computer Science. 5771, p. 240 254 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
From parametric polymorphism to models of polymorphic FPC
Møgelberg, R. E., 2009, In: Mathematical Structures in Computer Science. 19, 4, p. 639-686Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 2010
- Published
A nominal relational model for local store
Møgelberg, R. E., 2010, In: Electronic Notes in Theoretical Computer Science. 265, p. 403-421 19 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Domain theoretic models of parametric polymorphism
Møgelberg, R. E., Birkedal, L. & Petersen, R. L., 2010, In: Theoretical Computer Science. 388, 1-3, p. 152-172Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
ID: 263471