Evaluating Call-By-Need on the Control Stack

Stephen Chang, David Van Horn, Matthias Felleisen

Ariola and Felleisen's call-by-need λ-calculus replaces a variable occurrence with its value at the last possible moment. To support this gradual notion of substitution, function a…