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

by P Wadler
Venue:Functional Programming Languages and Computer Architectures Lecture Notes in Computer Science 201