Well-Typed Programs Can't Be Blamed.

Philip Wadler, Robert Bruce Findler

Browse the full ESOP paper archive.