Edrx's Haskell/functional programming page

Functional languages in general:

• Functional Programming Archive (online papers and a lot more)
• A Guide to Functional Programming on the Web
• FAQ for comp.lang.functional
• Functional Programming at Glasgow

Papers and docs:

• John Hughes, 1995?: The Design of a Pretty-printing Library
• Phil Wadler, 199x: The Essence of Functional Languages
• Phil Wadler, 1992: Monad Comprehension
• Luca Cardelli, 1997: Type Systems
• Mark Peyton Jones, 1999: Typing Haskell in Haskell

Haskell:

• The Haskell Home Page
• Hugs docs (local)
• TclHaskell - user manual
• Hugs dir (local)
• Entre ("Explict Naive Term Rewriting Engine")
• ghc
• ghc installation guide
• hbc
• Fudgets
• Haskell mode for Emacs
• Haskell tutorial slides
• Einar Karlsen's Homepage
• Paul Hudak's home page
• John Hughes' home page (course on AFP)
• Edison (a Haskell lib)

ML:

• Standard ML of New Jersey
• Standard ML of New Jersey User's Guide
• ML FAQ
• Caml Light directory (has some tutorials)

Formal Methods:

• Refinement Calculus Tutorial
• Formal Methods
• Abstract State Machines
• The B Method
• Mike Spivey (Z, Oxford)
• Formal Reasoning Group (Stanford)

Other packages:

• Lambda Prolog

Automatic reasoning systems, proof checkers and theorem provers:

• Automated Deduction Systems and Groups
• HOL
  • Documentation
  • ftp area
  • Using HOL inside Emacs
  • TkHol
• NuPrl home
  • NuPrl tutorial
  • NuPrl book
  • NuPrl reference
• Isabelle
• The Mizar Project
• Otter

Misc links on Haskell and logic:

• Simon Peyton Jones
• Hugs Users Mail Archive
• The Haskerl index
• Proof General --- Organize your proof with Emacs
• jpeg routines in Gofer
• ftp://ftp.cs.kun.nl/pub/CompMath.Found/church.ps.Z
• ftp://ftp.cs.kun.nl/pub/CompMath.Found/marktoberdorf.ps.Z
• ftp://ftp.cs.kun.nl/pub/CompMath.Found/bg3.ps.Z
• ftp://ftp.cs.kun.nl/pub/CompMath.Found/kr.ps.Z
• http://www.cs.kun.nl/~henk/papers.html
• What the hell are monads? (Noel Winstanley)
• Haskell Wiki (written in pyWiki)
• Categories, Allegories and Circuit Design (C. Brown/G. Hutton)
• Broken link for a R A G Seely paper, bang.ps.gz
• R A G Seely's ftp area (broken?)
• R A G Seely's page on Hypatia
• Notes for HOL90 Beginners
• The World Wide Web Virtual Library: HOL
• http://math.cornell.edu/~artemov/accom.html
• http://math.cornell.edu/~artemov/index.htm
• http://math.cornell.edu/~artemov/publ.html
• http://math.cornell.edu/~artemov/res.html
• http://www.cwi.nl/lc99/scientific_program.html
• SAC - Single Assignment C

(home)