How to replace failure with a list of successes (1985)

by P WADLER
Venue:In Functional Programming Languages and Computer Architecture. Lecture Notes in Computer Science