Positive Sharing and Abstract Machines.

Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu

Browse the full APLAS paper archive.