A type system for exceptions (1994)

by J C Guzmán, A Suárez
Venue:In Proc. ML Workshop