Higher-Order Abstract Syntax

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},
}