Links to useful information |

The following documents provide information on the texts, languages, and tools used in this course:

- Account request
*If you don't have a dci account, request one now!* - Text links:
- Computational Semantics with Functional Programming by Jan van Eijck and Christina Unger,
Cambridge University Press.
*Includes Errata*.

- Computational Semantics with Functional Programming by Jan van Eijck and Christina Unger,
Cambridge University Press.
- Haskell:
- Haskell.org - information on all things Haskell
- GHC is the compiler/interpreter we will use.
- Haskell tutorials
- Yet another Haskell tutorial
- Learn you a Haskell for greater good is better than it sounds!
- A gentle introduction to Haskell

- Haskell Cheat Sheet
- Tour of the Haskell Prelude This provides you with all of the top-level built-in functions like ++, foldr, toUpper, etc.
- Some standard modules List, Char
- Some standard type classes Eq & Ord, Read & Show
- Haskell 98 report Language definition.
- Real World Haskell Free online version of O'Reilly text.
- Monads: Recommended tutorials

- Mathematical Logic:
- Logic in Action is a free text book on logic. I highly recommend reading the first four chapters if you have not had a good introduction to logic.

- Emacs: There are lots of emacs quick reference guides and tutorials on line. Seach for them. Here are a couple of specialized documents.
- Lambda Calculus:
- LaTeX
- Continuations
- Discourse Representation Theory
- Discourse Representation in Context by Jan van Eijck and Hans Kamp

- Discourse Representation Theory
- Tutorial on Theorem Proving by Jan van Eijck with code.

- Writing Proofs
- Bull's logicsym LaTeX package for typesetting proofs.
- Documentation for logicsym package.
- Sample document using logicsym package.

- Final Project:
- Suggested Topics
- Papers that may help suggest topics:

- Rubrics for oral presentations:

Links to useful information |