Higher-order abstract syntax (0)

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