The Call-by-need Lambda Calculus, Revisited

by Stephen Chang , Matthias Felleisen
Citations:1 - 0 self