Rasmus Ejlers Møgelberg

60 papers A* 6B 13Journal 36Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — ed.
30th International Conference on Types for Proofs and Programs, TYPES 2024, Copenhagen, Denmark, June 10-14, 2024
TYPES
Rasmus Ejlers Møgelberg, Benno van den Berg
2025 J jnl
Induction and Recursion Principles in a Higher-Order Quantitative Logic.
CoRR
Giorgio Bacci, Rasmus Ejlers Møgelberg
2025 J jnl
Modelling Recursion and Probabilistic Choice in Guarded Type Theory.
Proc. ACM Program. Lang.
Philipp Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart, Alejandro Aguirre, Lars Birkedal
2025 J jnl
Multi-clocked Guarded Recursion Beyond ω.
CoRR
Rasmus Ejlers Møgelberg
2025 J jnl
What Monads Can and Cannot Do with a Few Extra Pages.
Log. Methods Comput. Sci.
Rasmus Ejlers Møgelberg, Maaike Zwart
2024 J jnl
Modelling Probabilistic FPC in Guarded Type Theory.
CoRR
Philipp Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart, Alejandro Aguirre, Lars Birkedal
2024 B conf
What Monads Can and Cannot Do with a Bit of Extra Time.
CSL
Rasmus Ejlers Møgelberg, Maaike Zwart
2023 J jnl
Asynchronous Modal FRP.
CoRR
Patrick Bahr, Rasmus Ejlers Møgelberg
2023 J jnl
Asynchronous Modal FRP.
Proc. ACM Program. Lang.
Patrick Bahr, Rasmus Ejlers Møgelberg
2023 J jnl
What monads can and cannot do with a bit of extra time.
CoRR
Rasmus Ejlers Møgelberg, Maaike Zwart
2022 A* conf
Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks.
LICS
Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg, Andrea Vezzosi
2021 J jnl
A model of Clocked Cubical Type Theory.
CoRR
Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg, Andrea Vezzosi
2021 J jnl
Diamonds are not forever: liveness in reactive programming with guarded recursion.
Proc. ACM Program. Lang.
Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg
2021 B conf
Two Guarded Recursive Powerdomains for Applicative Simulation.
MFPS
Rasmus Ejlers Møgelberg, Andrea Vezzosi
2020 J jnl
Denotational semantics for guarded dependent type theory.
Math. Struct. Comput. Sci.
Ales Bizjak, Rasmus Ejlers Møgelberg
2020 J jnl
Diamonds are not forever: Liveness in reactive programming with guarded recursion.
CoRR
Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg
2020 — conf
Galois Connections for Recursive Types.
From Lambda Calculus to Cybersecurity Through Program Analysis
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski
2020 J jnl
Modal dependent type theory and dependent right adjoints.
Math. Struct. Comput. Sci.
Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters
2020 J jnl
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory.
CoRR
Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri
2020 J jnl
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory.
Log. Methods Comput. Sci.
Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri
2019 J jnl
Bisimulation as path type for guarded recursive types.
Proc. ACM Program. Lang.
Rasmus Ejlers Møgelberg, Niccolò Veltri
2019 J jnl
Denotational semantics of recursive types in synthetic guarded domain theory.
Math. Struct. Comput. Sci.
Rasmus Ejlers Møgelberg, Marco Paviotti
2019 J jnl
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming.
CoRR
Patrick Bahr, Christian Graulund, Rasmus Ejlers Møgelberg
2019 J jnl
Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks.
Proc. ACM Program. Lang.
Patrick Bahr, Christian Graulund, Rasmus Ejlers Møgelberg
2018 J jnl
Bisimulation as path type for guarded recursive types.
CoRR
Rasmus Ejlers Møgelberg, Niccolò Veltri
2018 J jnl
Denotational semantics for guarded dependent type theory.
CoRR
Ales Bizjak, Rasmus Ejlers Møgelberg
2018 J jnl
Denotational semantics of recursive types in synthetic guarded domain theory.
CoRR
Rasmus Ejlers Møgelberg, Marco Paviotti
2018 J jnl
Modal Dependent Type Theory and Dependent Right Adjoints.
CoRR
Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters
2018 B conf
The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory.
FSCD
Bassel Mannaa, Rasmus Ejlers Møgelberg
2018 J jnl
The clocks they are adjunctions: Denotational semantics for Clocked Type Theory.
CoRR
Bassel Mannaa, Rasmus Ejlers Møgelberg
2017 A* conf
The clocks are ticking: No more delays!
LICS
Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Møgelberg
2016 A* conf
Denotational semantics of recursive types in synthetic guarded domain theory.
LICS
Rasmus Ejlers Møgelberg, Marco Paviotti
2016 B conf
Guarded Dependent Type Theory with Coinductive Types.
FoSSaCS
Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal
2016 J jnl
Guarded Dependent Type Theory with Coinductive Types.
CoRR
Ales Bizjak, Hans Bugge Grathwohl, Ranald Clouston, Rasmus Ejlers Møgelberg, Lars Birkedal
2015 B conf
A Model of Guarded Recursion With Clock Synchronisation.
MFPS
Ales Bizjak, Rasmus Ejlers Møgelberg
2015 B conf
A Model of PCF in Guarded Type Theory.
MFPS
Marco Paviotti, Rasmus Ejlers Møgelberg, Lars Birkedal
2014 — conf
A type theory for productive coprogramming via guarded recursion.
CSL-LICS
Rasmus Ejlers Møgelberg
2014 J jnl
Linear usage of state.
Log. Methods Comput. Sci.
Rasmus Ejlers Møgelberg, Sam Staton
2014 J jnl
The enriched effect calculus: syntax and semantics.
J. Log. Comput.
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
2013 A* conf
Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes.
LICS
Lars Birkedal, Rasmus Ejlers Møgelberg
2012 J jnl
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Log. Methods Comput. Sci.
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
2012 J jnl
Linear-use CPS translations in the Enriched Effect Calculus
Log. Methods Comput. Sci.
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
2011 A* conf
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees.
LICS
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
2011 B conf
Linearly-Used State in Models of Call-by-Value.
CALCO
Rasmus Ejlers Møgelberg, Sam Staton
2010 B conf
A Nominal Relational Model for Local Store.
MFPS
Rasmus Ejlers Møgelberg
2010 B conf
Linearly-Used Continuations in the Enriched Effect Calculus.
FoSSaCS
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
2009 B conf
Enriching an Effect Calculus with Linear Types.
CSL
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
2009 J jnl
From parametric polymorphism to models of polymorphic FPC.
Math. Struct. Comput. Sci.
Rasmus Ejlers Møgelberg
2009 J jnl
Relational Parametricity for Computational Effects
Log. Methods Comput. Sci.
Rasmus Ejlers Møgelberg, Alex Simpson
2008 J jnl
Synthetic domain theory and models of linear Abadi & Plotkin logic.
Ann. Pure Appl. Log.
Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini
2007 — conf
A Logic for Parametric Polymorphism with Effects.
TYPES
Rasmus Ejlers Møgelberg, Alex Simpson
2007 J jnl
Domain-theoretical models of parametric polymorphism.
Theor. Comput. Sci.
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
2007 A* conf
Relational Parametricity for Computational Effects.
LICS
Rasmus Ejlers Møgelberg, Alex Simpson
2007 B conf
Relational Parametricity for Control Considered as a Computational Effect.
MFPS
Rasmus Ejlers Møgelberg, Alex Simpson
2006 — conf
Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism.
ICALP (2)
Rasmus Ejlers Møgelberg
2006 J jnl
Linear Abadi and Plotkin Logic
CoRR
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
2006 J jnl
Linear Abadi and Plotkin Logic.
Log. Methods Comput. Sci.
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
2005 J jnl
Categorical models for Abadi and Plotkin's logic for parametricity.
Math. Struct. Comput. Sci.
Lars Birkedal, Rasmus Ejlers Møgelberg
2005 B conf
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus.
MFPS
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
2005 B conf
Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic.
MFPS
Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini