Rasmus Ejlers Møgelberg

Asynchronous modal FRP: Ticking all the boxes

Over the past fifteen years, several languages for functionalreactive programming (FRP) have been suggested that use modaltypes to ensure properties like causality, productivity, and lack ofspace leaks. So far, almost all of these languages have included amodal operator for delay...