Higher-order abstract syntax. In: (1988)

by F Pfenning, C Elliot
Venue:Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation. PLDI ’88,