Supercompilation for call-by-need languages

Maximilian C. Bolingbroke. Supercompilation for call-by-need languages. PhD thesis, University of Cambridge, UK, 2013. [doi]

Abstract

Abstract is missing.