activity
20112026
most citedConvergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2020 · cs.PLShow all

1 paper · 2 filters

cs.PL2020

Diamonds are not forever: Liveness in reactive programming with guarded recursion

Patrick Bahr, Christian Uldal Graulund, Rasmus Møgelberg

When designing languages for functional reactive programming (FRP) the main challenge is to provide the user with a simple, flexible interface for writing programs on a high level…