The semantics of future and an application (1999)

by C Flanagan, M Felleisen
Venue:Journal of Functional Programming