Control reduction theories: the benefit of structural substitution

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

• Type: Journal
• Year: 2008
• Where: JFP
• Authors: Zena M. Ariola, Hugo Herbelin
• Keywords: Call-by-value Theory, Evaluation Contexts, JFP 2008, Ordinary Term Application