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
1802011
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
692016
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
482014
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
482013
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 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
402017
The enriched effect calculus: syntax and semantics
J Egger, R Ejlers, A Simpson
Journal of Logic and Computation 24 (3), 615-654, 2014
402014
The enriched effect calculus: syntax and semantics
J Egger, R Ejlers, A Simpson
Journal of Logic and Computation 24 (3), 615-654, 2014
402014
Enriching an effect calculus with linear types
J Egger, RE Møgelberg, A Simpson
International Workshop on Computer Science Logic, 240-254, 2009
362009
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
352020
Linear usage of state
RE Møgelberg, S Staton
arXiv preprint arXiv:1403.1477, 2014
302014
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
202015
Denotational semantics of recursive types in synthetic guarded domain theory
RE Møgelberg, M Paviotti
Mathematical Structures in Computer Science 29 (3), 465-510, 2019
172019
Denotational semantics for guarded dependent type theory
A Bizjak, RE Møgelberg
Mathematical Structures in Computer Science 30 (4), 342-378, 2020
152020
Domain-theoretical models of parametric polymorphism
L Birkedal, RE Møgelberg, RL Petersen
Theoretical Computer Science 388 (1-3), 152-172, 2007
152007
Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
L Birkedal, RE Møgelberg, RL Petersen
Electronic Notes in Theoretical Computer Science 155, 191-217, 2006
152006
The system can't perform the operation now. Try again later.
Articles 1–20