
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
- Journal article › Research › Peer-reviewed
- Published
Linear usage of state
Møgelberg, R. E. & Staton, S., 25 Mar 2014, In: Logical Methods in Computer Science. 10, 1Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Linear-use CPS translations in the enriched effect calculus
Møgelberg, R. E., Simpson, A. & Egger, J., 2012, In: Logical Methods in Computer Science. 8, 4Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Modal dependent type theory and dependent right adjoints
Birkedal, L., Clouston, R., Mannaa, B., Møgelberg, R. E., M. Pitts, A. & Spitters, B., Dec 2019, In: Mathematical Structures in Computer Science. 21 p.Research output: Journal Article or Conference Article in Journal › Journal article › 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
- 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
- Published
The Enriched Effect Calculus: Syntax and Semantics
Møgelberg, R. E., Simpson, A. & Egger, J., 2014, In: Journal of Logic and Computation. 24, 3, p. 615-654Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, B., Møgelberg, R. E. & Veltri, N., 15 Dec 2020, In: Logical Methods in Computer Science. 16, 4, p. 17:1–17:31 31 p., 6278.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Conference article › Research › Peer-reviewed
- 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
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
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Birkedal, L., Møgelberg, R. E., Støvring, K. & schwinghammer, J., 2011, In: Annual Symposium on Logic in Computer Science. p. 55-64Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
ID: 263471