Return types for functional continuations (1998)

by C A Gunter, D Rémy, J G Riecke
Venue:in: LFP, ACM