Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism (2003)

by Geoffrey Washburn, et al.
Citations:34 - 3 self