Abstract

This article is intended as a presentation for an introduction to advanced programming concepts using Haskell. This presentation introduces automated specification-based testing.

This presentation is hands-on and requires each member of the audience have access to a computer running the Glasgow Haskell Compiler (GHC) which is available from http://haskell.org/ghc.