16 citations · 24 across the 9 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 4 cited
Modes of Convergence for Term Graph Rewriting
Patrick Bahr
Term graph rewriting provides a simple mechanism to finitely represent restricted forms of infinitary term rewriting. The correspondence between infinitary term rewriting and term…
cs.PL2012★ 16 cited
Parametric Compositional Data Types
Patrick Bahr, Tom Hvitved
In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs)…