collaborators

1 paper

cs.PL2025

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…