Higher-order abstract syntax (1988)

by Frank Pfenning, Conal Elliott
Venue:ACM SIGPLAN Notices