Prescriptive Frameworks for Multi-Level Lambda-Calculi

@inproceedings{Nielson1997PrescriptiveFF,
  title={Prescriptive Frameworks for Multi-Level Lambda-Calculi},
  author={Flemming Nielson and Hanne Riis Nielson},
  booktitle={PEPM},
  year={1997}
}
Two-level A-calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose different demands on the exact details of the twolevel structure and the corresponding inference rules. In a previous paper we have developed a descriptive framework for characterizing the key ingredients used in the various applications. Based on the insights offered by this characterisation we now develop a prescriptive… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.

rgensen: E cient Multi-level Generating Extensions for Program Specialization

  • R. Gl uck, J J.
  • Lecture Notes in Computer Science,
  • 1995
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…