Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (2003)

by Geoffrey Washburn , Stephanie Weirich
Venue:In Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming
Citations:34 - 3 self