Higher-order abstract syntax (1988)

by Frank Pfenning, Conal Elliott
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming language Design and Implementation (PLDI ’88