Higher-order abstract syntax (0)

by Frank Pfenning, Conal Elliott
Venue:In Proceedings of the ACM-SIGPLAN Conference on Programming Language Design and Implementation