43 citations · 170 across the 19 of their papers we have counts for
1 paper · 1 filter
Laura Kovacs, Simon Robillard, Andrei Voronkov
The theory of finite term algebras provides a natural framework to describe the semantics of functional languages. The ability to efficiently reason about term algebras is essentia…