Improvements in a functional core language with call-by-need operational semantics.

Manfred Schmidt-Schau, David Sabel

Browse the full PPDP paper archive.