most citedRebound: Efficient, Expressive, and Well-Scoped Binding

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

collaborators

1 paper

cs.PL2025★ 1 cited

Rebound: Efficient, Expressive, and Well-Scoped Binding

Noé De Santo, Stephanie Weirich

We introduce the Rebound library that supports well-scoped term representations in Haskell and automates the definition of substitution, alpha-equivalence, and other operations tha…