Pfenning and Conal Elliott. Higher-order abstract syntax (0)

by Frank
Venue:In Proceedings of the ACM-SIGPLAN Conference on Programming Language Design and Implementation