@inproceedings{pfenning-1988-higher, series={PLDI88}, title={Higher-order abstract syntax}, url={http://dx.doi.org/10.1145/53990.54010}, DOI={10.1145/53990.54010}, booktitle={Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation}, publisher={ACM}, author={Pfenning, F. and Elliott, C.}, year={1988}, month=June, pages={199–208}, collection={PLDI88} }