Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism
WASHBURN, GEOFFREY, WEIRICH, STEPHANIEVolume:
18
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796807006557
Date:
January, 2008
File:
PDF, 367 KB
english, 2008