The Call-by-Need Lambda Calculus, Revisited.

Stephen Chang, Matthias Felleisen

Browse the full ESOP paper archive.