Sciweavers

Share
ICFP
2003
ACM

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

10 years 1 months ago
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism
Geoffrey Washburn, Stephanie Weirich
Added 13 Dec 2009
Updated 13 Dec 2009
Type Conference
Year 2003
Where ICFP
Authors Geoffrey Washburn, Stephanie Weirich
Comments (0)
books