Higher-order abstract syntax (1988)

by F Pfenning, C Elliot
Venue:ACM SIGPLAN Notices