24 citations · 30 across the 2 of their papers we have counts for
2 papers
cs.LO2021★ 6 cited
Two Guarded Recursive Powerdomains for Applicative Simulation
Rasmus Ejlers Møgelberg, Andrea Vezzosi
Clocked Cubical Type Theory is a new type theory combining the power of guarded recursion with univalence and higher inductive types (HITs). This type theory can be used as a metal…
cs.PL2014★ 24 cited
Linear usage of state
Rasmus Ejlers Møgelberg, Sam Staton
We investigate the phenomenon that "every monad is a linear state monad". We do this by studying a fully-complete state-passing translation from an impure call-by-value language to…