research
∙
03/06/2020
Diamonds are not forever: Liveness in reactive programming with guarded recursion
When designing languages for functional reactive programming (FRP) the m...
research
∙
03/14/2019
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming without Space Leaks
Functional reactive programming (FRP) is a paradigm for programming with...
research
∙
03/14/2019