Frank Pfenning, Conal Elliott. Higher-Order Abstract Syntax. In PLDI. pages 199-208, 1988. [doi]
@inproceedings{PfenningE88, title = {Higher-Order Abstract Syntax}, author = {Frank Pfenning and Conal Elliott}, year = {1988}, doi = {10.1145/960116.54010}, url = {https://doi.org/10.1145/960116.54010}, tags = {abstract syntax}, researchr = {https://researchr.org/publication/PfenningE88}, cites = {0}, citedby = {0}, pages = {199-208}, booktitle = {PLDI}, }