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

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