Travelled to:1 × Austria
1 × Canada
1 × Cyprus
1 × Italy
1 × Poland
1 × Portugal
1 × USA
Collaborated with:A.Simpson ∅ L.Birkedal J.Egger Niccolò Veltri J.Schwinghammer K.Støvring
Talks about:type (6) guard (4) theori (3) recurs (3) effect (3) polymorph (2) parametr (2) calculus (2) linear (2) enrich (2)
Person: Rasmus Ejlers Møgelberg
DBLP: M=oslash=gelberg:Rasmus_Ejlers
Contributed to:
201420132011
2010
20092007
2006
2019Wrote 8 papers:
- LICS-CSL-2014-Mogelberg #effectiveness #recursion #type system
- A type theory for productive coprogramming via guarded recursion (REM), p. 10.
- LICS-2013-BirkedalM #fixpoint #recursion #type system
- Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes (LB, REM), pp. 213–222.
- LICS-2011-BirkedalMSS
- First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees (LB, REM, JS, KS), pp. 55–64.
- FoSSaCS-2010-EggerMS #calculus #continuation
- Linearly-Used Continuations in the Enriched Effect Calculus (JE, REM, AS), pp. 18–32.
- CSL-2009-EggerMS #calculus #linear
- Enriching an Effect Calculus with Linear Types (JE, REM, AS), pp. 240–254.
- LICS-2007-MogelbergS #parametricity #relational
- Relational Parametricity for Computational Effects (REM, AS), pp. 346–355.
- ICALP-v2-2006-Mogelberg #formal method #modelling #morphism #parametricity #polymorphism
- Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism (REM), pp. 372–383.
- POPL-2019-MogelbergV #bisimulation #recursion
- Bisimulation as path type for guarded recursive types (REM, NV), p. 29.