79 citations · 142 across the 16 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
What Monads Can and Cannot Do with a Few Extra Pages
Rasmus Ejlers Møgelberg, Maaike Zwart
The delay monad provides a way to introduce general recursion in type theory. To write programs that use a wide range of computational effects directly in type theory, we need to c…
cs.PL2023
Asynchronous Modal FRP
Patrick Bahr, Rasmus Ejlers Møgelberg
Over the past decade, a number of languages for functional reactive programming (FRP) have been suggested, which use modal types to ensure properties like causality, productivity a…