Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need.

Breno Campos Ferreira Guimares, Fernando Magno Quinto Pereira

Browse the full CC paper archive.