
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
- Article in proceedings
- Published
Linearly-used state in models of call-by-value
Møgelberg, R. E. & Staton, S., 2011, CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science. Springer, p. 298-313 15 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Two Guarded Recursive Powerdomains for Applicative Simulation
Møgelberg, R. E. & Vezzosi, A., Dec 2021, Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. Electronic Proceedings in Theoretical Computer Science, Vol. 351. p. 200-217Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Bisimulation as path type for guarded recursive types
Veltri, N. & Møgelberg, R. E., 2019, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Vol. 3. 29 p. 4Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Paper
- Published
What makes guarded types tick?
Bahr, P., Mannaa, B. & Møgelberg, R. E., 2018.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review
- 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
ID: 263471