Sign in
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism.
Stephanie Weirich
Geoffrey Washburn
Published in:
SIGPLAN Notices (2003)
Keyphrases
</>