Partial evaluation and automatic program generation

@inproceedings{Jones1993PartialEA,
  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},
  year={1993}
}
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

Citations

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

1,802 Citations

050100'91'97'04'11'18
Citations per Year
Semantic Scholar estimates that this publication has 1,802 citations based on the available data.

See our FAQ for additional information.

References

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…