The Semantics of Future and Its Use in Program Optimizations.

Cormac Flanagan, Matthias Felleisen

Browse the full POPL paper archive.