16 citations · 24 across the 9 of their papers we have counts for
1 paper · 1 filter
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…