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]

Abstract

Abstract is missing.