How to Replace Failure by a (1985)

by P Wadler
Venue:List of Successes, FPCA 85, LNCS