How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages.

Philip Wadler How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages. 113-128 1985 FPCA db/conf/fpca/fpca85.html#Wadler85