Reasoning About Call-by-need by Means of Types.

Delia Kesner

Browse the full FOSSACS paper archive.