Wadler

• Introduction Functional Programming