What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common.

Companion programs for a tutorial paper by Martin Escardo and Paulo Oliva, to appear in MSFP 2010, ACM SIGPLAN Mathematically Structured Functional Programming, ACM Press.
  1. Short, self-contained Haskell programs.

  2. Haskell programs organized in a modular way, without using Haskell's built-in mechanisms for monads.

  3. Haskell programs organized in a modular way, using Haskell's built-in mechanisms for monads.

Martin Escardo
m.escardo@cs.bham.ac.uk
Last modified: Fri Aug 6 15:22:22 BST 2010