How to replacefailure by a list ofsuccesses a methodfor exceptionhandling,backtracking, andpattern matching inlazy functionallanguages Philip Wadler1985 год

How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages
глава из книги