@InProceedings{Pfenning88:HOAS,
  author       = "Frank Pfenning and Conal Elliott",
  title        = {Higher-Order Abstract Syntax},
  url          = {http://conal.net/papers/hoas.pdf},
  booktitle    = "Programming Language Design and Implementation",
  year         = 1988,
}