Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming without Space Leaks

Patrick Bahr, Christian Graulund, Rasmus Møgelberg

Functional reactive programming (FRP) is a paradigm for programming with signals and events, allowing the user to describe reactive programs on a high level of abstraction. For thi…