The Global Storage Needs of a Subcomputation.

Jean-Claude Raoult, Ravi Sethi

Browse the full POPL paper archive.