Open Access Published by De Gruyter Open Access July 26, 2018

Call-by-need effects via coeffects

Dylan McDermott and Alan Mycroft
From the journal Open Computer Science