Call-by-need effects via coeffects

Dylan McDermott, Alan Mycroft. Call-by-need effects via coeffects. Central Europ. J. Computer Science, 8(1):93-108, 2018. [doi]

Abstract

Abstract is missing.