Call-by-Value Solvability, Revisited.

Beniamino Accattoli, Luca Paolini

Browse the full FLOPS paper archive.