research
∙
03/06/2023
Asynchronous Modal FRP
Over the past decade, a number of languages for functional reactive prog...
research
∙
02/02/2021
Proceedings 11th International Workshop on Computing with Terms and Graphs
Graphs, and graph transformation systems, are used in many areas within ...
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
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming
Functional reactive programming (FRP) is a paradigm for programming with...
research
∙
05/17/2018