Research output per year
Research output per year
Search results
-
2025
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L., 2025, In: Proceedings of the ACM on Programming Languages. 9, POPLResearch output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open AccessFile -
2023
Asynchronous Modal FRP
Bahr, P. & Møgelberg, R. E., 31 Aug 2023, In: Proceedings of the ACM on Programming Languages. 7, ICFP, p. 476-510 205.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open Access -
2017
The Clocks Are Ticking: No More Delays! Reduction Semantics for Type Theory with Guarded Recursion
Bahr, P., Grathwohl, H. B. & Møgelberg, R. E., 18 Aug 2017, In: Annual Symposium on Logic in Computer Science. 12 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open AccessFile -
2011
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
-
2010
Linearly-used Continuations in the Enriched Effect Calculus
Egger, J., Møgelberg, R. E. & Simpson, A., 20 Mar 2010, In: Lecture Notes in Computer Science. 6014, p. 18-32Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
-
2009
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
-
2008
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
-
2006
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