Rasmus Ejlers Møgelberg
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2021–2025
on a stage with
all 6 in the filters
who talks about the same things
- Patrick Bahr11 talks
- Alejandro Aguirre10 talks
- Lars Birkedal35 talks
- Magnus Madsen11 talks
- Michel Steuwer17 talks
- Robbert Krebbers26 talks
| title | conference | date |
|---|---|---|
| Modelling Recursion and Probabilistic Choice in Guarded Type Theory | POPL 2025 | 2025-01-19 |
Paper encodes FPC⊕ (recursive types + probabilistic choice) inside clocked guarded type theory and builds operational and denotational semantics connected by a… | ||
| An introduction to synthetic guarded domain theory with applications to probabilistic(…) | HOPE 2024 | 2024-09-02 |
Presents a clocked cubical type theory metalanguage that uses a guarded delay monad to define both big‑step operational and denotational semantics for FPC and… | ||
| Asynchronous Modal FRP | ICFP 2023 | 2023-09-04 |
Async RaTT is a new modal language that compiles complete programs to machines consuming asynchronous input channels and emitting outputs, using an exist-later… | ||
| Diamonds Are Not Forever: Liveness in Reactive Programming with Guarded Recursion | POPL 2021 | 2021-01-17 |
A new language called Lively RaTT combines guarded recursion with an inductive until type (e.g. diamond = unit until a) by treating the temporal circle… | ||
| nothing matches | ||