The Cost of Skeletal Call-By-Need, Smoothly.

Beniamino Accattoli, Francesco Magliocca, Loc Peyrot, Claudio Sacerdoti Coen

Browse the full FSCD paper archive.