The Call-by-need Lambda Calculus, Revisited

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