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

by P Wadler
Venue:Conference on Functional Programming Languages and Computer Architecture