Call-by-Need, Neededness and All That.

Delia Kesner, Alejandro Ros, Andrs Viso

Browse the full FOSSACS paper archive.