Tutorial Papers in Functional Programming

Programming

• Why Functional Programming Matters. John Hughes.
• Notes on Functional Programming with Gofer by H. Conrad Cunningham
• Introduction to Functional Programming using Gofer, by P.E.Wentworth (100 pages).
• Functional Programming by Jeroen Fokker.
• Higher Order Functions for Parsing, Graham Hutton
• Monadic parser combinators, Graham Hutton and Erik Meijer, an updated version of the above using a parser monad. There are also two parsing libraries in Gofer, one more sophisticated than the other.
• Functional Parsers Jeroen D. Fokker
• Monads for functional programming, Phil Wadler.
• Mike Gordon's lecture notes on functional programming, covering the lambda-calculus and ML.
• Simon Thompson's Programming it in Haskell (based on Polya's How to Solve it). Brief and nice!
• Graham Hutton's tutorial on fold. Explains the universality property of fold, and its uses -- to quote Graham, "all sorts of things that every functional programmer should know about fold". Confusomorphisms for dummies!
• Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell, Simon Peyton-Jones' paper on imperative programming in Haskell.
• David Mertz's column on functional programming in Python, an introduction for imperative programmers. Parts i, ii and iii.

Types

• Basic polymorphic typechecking. Luca Cardelli. Science of Computer Programming, 8(2), 1987.
• On Understanding Types, Data Abstraction, and Polymorphism, L.Cardelli, P.Wegner (1985)
• Typeful Programming, L.Cardelli (1991)
• Polymorphic Type Inference, Michael I. Schwartzbach. Lecture notes with exercises.
• Types - Lecture notes by Benjamin Pierce. (62 pages)

Domain Theory and the Lambda Calculus

• Plotkin's notes on domain theory.
• 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.
• Fredrik Granlund's collection of tutorial articles (in Swedish).

Courses

• Chalmers' course in Advanced Functional Programming using Haskell.
• Mike Gordon's course in functional programming using ML.
• Stephen Gilmore's course notes on Applicative Programming and Specification, which includes chapters by Robin Milner, Don Sanella and others. This is a course given for post-grads at the University of Edinburgh, and covers an introduction to ML programming, some underlying theory, and formal program development in `Extended ML'. 108 pages.