Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism

Geoffrey Washburn, Stephanie Weirich. Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. SIGPLAN Notices, 38(9):249-262, 2003. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: