Get started
Author

Rasmus Ejlers Møgelberg

Observed names: Møgelberg, Rasmus Ejlers, R. E Møgelberg, R. E. Mogelberg, R. E. Møgelberg, R. MOGELBERG, R.E. Møgelberg, RASMUS E. MØGELBERG, RASMUS EJLERS MØGELBERG, Rasmus E. Møgelberg, Rasmus Ejlers Mogelberg, Rasmus Ejlers Møgelberg B, Rasmus Ejlers M�gelberg, Rasmus Møgelberg
ORCID: 0000-0003-0386-4376
Observed ORCID: 0000-0003-0386-4376
OpenAlex ID: A5045780288
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
2012 · Lars Birkedal, Rasmus Ejlers Møgelberg, et al. · Logical Methods in Computer Science · 116
PDF
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees
2011 · Lars Birkedal, Rasmus Ejlers Mogelberg, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 82
Modal dependent type theory and dependent right adjoints
2019 · Lars Birkedal, Ranald Clouston, et al. · Mathematical Structures in Computer Science · 72
PDF
Guarded Dependent Type Theory with Coinductive Types
2016 · Aleš Bizjak, Hans Bugge Grathwohl, et al. · Lecture notes in computer science · 63
Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes
2013 · Lars Birkedal, Rasmus Ejlers Mogelberg · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 52
The clocks are ticking: No more delays!
2017 · Patrick Bahr, Hans Bugge Grathwohl, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 45
A type theory for productive coprogramming via guarded recursion
2014 · Rasmus Ejlers Møgelberg · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 44
The enriched effect calculus: syntax and semantics
2012 · J. Egger, R. E. Mogelberg, et al. · Journal of Logic and Computation · 38
Enriching an Effect Calculus with Linear Types
2009 · Jeff Egger, Rasmus Ejlers Møgelberg, et al. · Lecture notes in computer science · 32
Categorical models for Abadi and Plotkin's logic for parametricity
2005 · LARS BIRKEDAL, RASMUS E. MØGELBERG · Mathematical Structures in Computer Science · 31
PDF
Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks
2019 · Patrick Bahr, Christian Uldal Graulund, et al. · Proceedings of the ACM on Programming Languages · 30
PDF
A Model of PCF in Guarded Type Theory
2015 · Marco Paviotti, Rasmus Ejlers Møgelberg, et al. · Electronic Notes in Theoretical Computer Science · 30
PDF
Linear usage of state
2014 · Rasmus Ejlers Møgelberg, Sam Staton · Logical Methods in Computer Science · 28
PDF
Bisimulation as path type for guarded recursive types
2019 · Rasmus Ejlers Møgelberg, Niccolò Veltri · Proceedings of the ACM on Programming Languages · 24
PDF
Relational Parametricity for Computational Effects
2007 · Rasmus Ejlers Mogelberg, Alex Simpson · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 19
Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks
2022 · Magnus Baunsgaard Kristensen, Rasmus Ejlers Mogelberg, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 18
Diamonds are not forever: liveness in reactive programming with guarded recursion
2021 · Patrick Bahr, Christian Uldal Graulund, et al. · Proceedings of the ACM on Programming Languages · 18
PDF
Denotational semantics for guarded dependent type theory
2020 · Aleš Bizjak, Rasmus Ejlers Møgelberg · Mathematical Structures in Computer Science · 18
Denotational semantics of recursive types in synthetic guarded domain theory
2016 · Rasmus Ejlers Møgelberg, Marco Paviotti · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 17
PDF
A Model of Guarded Recursion With Clock Synchronisation
2015 · Aleš Bizjak, Rasmus Ejlers Møgelberg · Electronic Notes in Theoretical Computer Science · 16
PDF
Two Guarded Recursive Powerdomains for Applicative Simulation
2021 · Rasmus Ejlers Møgelberg, Andrea Vezzosi · Electronic Proceedings in Theoretical Computer Science · 14
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
2020 · Bassel Mannaa, Rasmus Ejlers Møgelberg, et al. · Logical Methods in Computer Science · 14
PDF
Linearly-Used State in Models of Call-by-Value
2011 · Rasmus Ejlers Møgelberg, Sam Staton · Lecture notes in computer science · 13
Domain-theoretical models of parametric polymorphism
2007 · L. Birkedal, R.E. Møgelberg, et al. · Theoretical Computer Science · 13
PDF
Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism
2006 · Rasmus Ejlers Møgelberg · Lecture notes in computer science · 12
Works count: 73
Citation count: 982
H-index: 18
I10-index: 28
Year
Topic
Type