The Essence of Functional Programming by Philip Wadler

cs functional papers