Gofer

Mark Jones, Oxford 1991

A language similar to Haskell 1.1. Lazy evaluation, higher order functions, pattern matching, and type classes. Lambda, case, conditional and let expressions, and wildcard, as and irrefutable patterns. Lacks modules, arrays, standard classes.

"Introduction to Gofer 2.20", M. P. Jones.