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...
share
research
∙
03/14/2019
