Higher-order abstract syntax (1988)

by F Pfenning, C Elliott
Venue:In Proceedings of the ACMSIGPLAN Conference on Programming Language Design and Implementation