Higher-Order Abstract Syntax (1988)

by F Pfenning, C Elliott
Venue:In Proc. of the SIGPLAN'88, Conference on Programming Language Design and Implementation