Useful Open Call-By-Need.

Beniamino Accattoli, Maico Leberle

Browse the full CSL paper archive.