Follow
Rasmus Møgelberg
Title
Cited by
Cited by
Year
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
L Birkedal, RE Mogelberg, J Schwinghammer, K Stovring
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 55-64, 2011
1842011
Guarded dependent type theory with coinductive types
A Bizjak, HB Grathwohl, R Clouston, RE Møgelberg, L Birkedal
International Conference on Foundations of Software Science and Computation …, 2016
712016
A type theory for productive coprogramming via guarded recursion
RE Møgelberg
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
492014
Intensional type theory with guarded recursive types qua fixed points on universes
L Birkedal, RE Møgelberg
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 213-222, 2013
492013
Categorical models for Abadi and Plotkin's logic for parametricity
L Birkedal, RE Møgelberg
Mathematical Structures in Computer Science 15 (4), 709-772, 2005
472005
The enriched effect calculus: syntax and semantics
J Egger, R Ejlers, A Simpson
Journal of Logic and Computation 24 (3), 615-654, 2014
422014
The enriched effect calculus: syntax and semantics
J Egger, R Ejlers, A Simpson
Journal of Logic and Computation 24 (3), 615-654, 2014
422014
The clocks are ticking: No more delays!
P Bahr, HB Grathwohl, RE Møgelberg
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
412017
Modal dependent type theory and dependent right adjoints
L Birkedal, R Clouston, B Mannaa, RE Møgelberg, AM Pitts, B Spitters
Mathematical Structures in Computer Science 30 (2), 118-138, 2020
392020
Enriching an effect calculus with linear types
J Egger, RE Møgelberg, A Simpson
International Workshop on Computer Science Logic, 240-254, 2009
362009
Linear usage of state
RE Møgelberg, S Staton
arXiv preprint arXiv:1403.1477, 2014
312014
Relational parametricity for computational effects
RE Mogelberg, A Simpson
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 346-355, 2007
282007
Linear abadi and plotkin logic
L Birkedal, RE Møgelberg, RL Petersen
arXiv preprint cs/0611004, 2006
272006
Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks
P Bahr, CU Graulund, RE Møgelberg
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-27, 2019
242019
A model of guarded recursion with clock synchronisation
A Bizjak, RE Møgelberg
Electronic Notes in Theoretical Computer Science 319, 83-101, 2015
232015
A model of PCF in guarded type theory
M Paviotti, RE Møgelberg, L Birkedal
Electronic Notes in Theoretical Computer Science 319, 333-349, 2015
232015
Denotational semantics of recursive types in synthetic guarded domain theory
RE Møgelberg, M Paviotti
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
202016
Denotational semantics for guarded dependent type theory
A Bizjak, RE Møgelberg
Mathematical Structures in Computer Science 30 (4), 342-378, 2020
172020
Bisimulation as path type for guarded recursive types
RE Møgelberg, N Veltri
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
172019
Domain-theoretical models of parametric polymorphism
L Birkedal, RE Møgelberg, RL Petersen
Theoretical Computer Science 388 (1-3), 152-172, 2007
152007
The system can't perform the operation now. Try again later.
Articles 1–20