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

by Philip Wadler
Venue:In Second Int. Conf. on Functional Programming Languages and Computer Architecture