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…