A functional theory of exceptions (1990)

by M Spivey
Venue:Science of Computer Programming