1 paper
Beniamino Accattoli, Francesco Magliocca, Loïc Peyrot +1
Skeletal call-by-need is an optimization of call-by-need evaluation also known as "fully lazy sharing": when the duplication of a value has to take place, it is first split into "s…