1 citations · 1 across the 4 of their papers we have counts for
6 papers
Proceedings 11th International Workshop on Computing with Terms and Graphs
Patrick Bahr
Graphs, and graph transformation systems, are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general mo…
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…
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…
Strict Ideal Completions of the Lambda Calculus
Patrick Bahr
The infinitary lambda calculi pioneered by Kennaway et al. extend the basic lambda calculus by metric completion to infinite terms and reductions. Depending on the chosen metric, t…
Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)
Patrick Bahr
In this extended abstract, we present a simple approach to convergence on term graphs that allows us to unify term graph rewriting and infinitary term rewriting. This approach is b…
Infinitary Term Graph Rewriting
Patrick Bahr
Term graph rewriting provides a formalism for implementing term rewriting in an efficient manner by avoiding duplication. Infinitary term rewriting has been introduced to study inf…