activity
20062026
most citedFirst steps in synthetic guarded domain theory: step-indexing in the topos of trees

79 citations · 142 across the 16 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.PL2019

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…