The semantics of future and an application (1999)

by C Flanagan, M Felleisen
Venue:J. Funct. Program