A functional theory of exceptions. Science ofComputer Programming (1990)

by Michael Spivey
Venue:In Conference Record of POPL '94: 21st ACM SIGPLANSIGACT Symposium on Principles of Programming Languages,Portland