COMP2600: Formal Methods for Software Engineering

Haskell Resources

• Basic references
  • A description of many of the basic functions in the Standard Prelude (and a few others). [html or pdf].
  • The complete Standard Prelude and its index.
  • All the code from the book: Haskell: The Craft of Programming by Simon Thompson.
  • An overview of the syntax of Haskell.
• http://haskell.org/
  • The biggest collection of Haskell-related material.
  • Download the Glasgow Haskell Compiler for installation on your own computer.
• More Advanced References
  • Haskell Hierarchical Libraries
  • The GHC user guide
  • A tutorial with a misleading title: A Gentle Introduction to Haskell
  • The Haskell 98 Report