A Self-Applicable Partial Evaluator for the Lambda Calculus

Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy, Torben Æ. Mogensen. A Self-Applicable Partial Evaluator for the Lambda Calculus. In 1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA. pages 49-58, IEEE Computer Society, 1990. [doi]

@inproceedings{JonesGBDM90,
  title = {A Self-Applicable Partial Evaluator for the Lambda Calculus},
  author = {Neil D. Jones and Carsten K. Gomard and Anders Bondorf and Olivier Danvy and Torben Æ. Mogensen},
  year = {1990},
  url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=63760&tag=1},
  tags = {analysis, compiler, partial evaluation},
  researchr = {https://researchr.org/publication/JonesGBDM90},
  cites = {0},
  citedby = {0},
  pages = {49-58},
  booktitle = {1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-2036-6},
}