`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:

### Wrote 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.