Seuraa
Rasmus Møgelberg
Rasmus Møgelberg
Vahvistettu sähköpostiosoite verkkotunnuksessa itu.dk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
L Birkedal, RE Møgelberg, J Schwinghammer, K Støvring
Logical Methods in Computer Science 8, 2012
2162012
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
862016
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
642020
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
572013
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
552017
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
532014
The enriched effect calculus: syntax and semantics
J Egger, R Ejlers, A Simpson
Journal of Logic and Computation 24 (3), 615-654, 2014
512014
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
452005
Enriching an effect calculus with linear types
J Egger, RE Møgelberg, A Simpson
Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual …, 2009
422009
Linear usage of state
RE Møgelberg, S Staton
Logical Methods in Computer Science 10, 2014
362014
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
352019
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
352015
Relational parametricity for computational effects
RE Møgelberg, A Simpson
Logical Methods in Computer Science 5, 2009
35*2009
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
342016
Linear abadi and plotkin logic
L Birkedal, RE Møgelberg, RL Petersen
Logical Methods in Computer Science 2, 2006
272006
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
252019
A model of guarded recursion with clock synchronisation
A Bizjak, RE Møgelberg
Electronic Notes in Theoretical Computer Science 319, 83-101, 2015
252015
Denotational semantics for guarded dependent type theory
A Bizjak, RE Møgelberg
Mathematical Structures in Computer Science 30 (4), 342-378, 2020
242020
Diamonds are not forever: liveness in reactive programming with guarded recursion
P Bahr, CU Graulund, RE Møgelberg
Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021
202021
Greatest hits: Higher inductive types in coinductive definitions via induction under clocks
M Baunsgaard Kristensen, RE Mogelberg, A Vezzosi
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
162022
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20