Partial evaluation and automatic program generation

  title={Partial evaluation and automatic program generation},
  author={Neil D. Jones and Carsten K. Gomard and Peter Sestoft},
  booktitle={Prentice Hall international series in computer science},
syntax as a special case of recursively de ned data types; an encoding of recursive data types in Scheme. 
Highly Influential
This paper has highly influenced 143 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 1,801 citations. REVIEW CITATIONS
1,099 Citations
256 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 1,099 extracted citations

1,802 Citations

Citations per Year
Semantic Scholar estimates that this publication has 1,802 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 256 references

The Calculi of Lambda-Conversion

  • A. Church
  • volume 6 of Annals of Mathematics Studies…
  • 1941
Highly Influential
8 Excerpts

Similar Papers

Loading similar papers…