Control reduction theories: the benefit of structural substitution

  title={Control reduction theories: the benefit of structural substitution},
  author={Zena M. Ariola and Hugo Herbelin},
  journal={J. Funct. Program.},
The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for jumping to a continuation. To the contrary, the λCtp control calculus, developed by the authors, distinguishes between jumps and terms. This alternative calculus, which derives from Parigot’s λμ-calculus, works by direct structural substitution of evaluation contexts. We review and revisit the legacy theories of… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS
19 Citations
22 References
Similar Papers


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

Control operators, the secd machine, and the lambda-calculus. Pages 193–217 of: Formal description of programming concepts-iii

  • M. Felleisen, D. Friedman
  • 1986
Highly Influential
1 Excerpt

Similar Papers

Loading similar papers…