How to replace failure by a list of successes. Proc. conference on functional programming and computer architecture (1985)

by Philip Wadler