Compiling laziness using projections (1996)

by Pat96 Ross Paterson
Venue:In Static Analysis Symposium, volume 1145 of LNCS