Functional Parsers Jeroen D. Fokker Monads for functional programming , Phil Wadler. Graham Hutton's tutorial on fold . Types Basic polymorphic typechecking . Luca Cardelli . Polymorphic Type Inference , Michael I. Schwartzbach .
Lecture notes with exercises.
Types - Lecture notes by Benjamin Pierce. Larry Paulson's notes on Foundations of Functional Programming , which focusses on the lambda-calculus. Andy Pitts ' lecture notes on Semantics of Programming Languages . Manuals Online Gofer documentation . Other compendiums Frank Atanassow's page of online books and references .