Geoffrey Washburn, Stephanie Weirich. Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. SIGPLAN Notices, 38(9):249-262, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.