Announcing Semantics 3 (Fall 2013): Computational Formal Semantics with Haskell

Semantics 3 this coming fall (upper div. undergraduate course, UCSC Linguistics) will be dedicated to introducing computational formal semantics with Haskell.

The syllabus is available here: Sem 3 syllabus. It contains a general description of the course, goals and motivation, a tentative outline, general instructions about how to get Haskell up and running and some basic advice about text editors, among other things.

The first 3 sets of lecture notes and the associated Haskell code are already available. They are primarily based on Learn You a Haskell for Great Good! by Miran Lipovača, but the material has undergone a fair amount of mostly minor modifications. The ghci commands are numbered in the same way in the pdf and the corresponding hs files for ease of reference:

• intro-to-haskell1.pdf, intro-to-haskell1.hs: the basics, e.g., arithmetic, boolean operators, functions, “if” statements, lists, tuples etc.
• intro-to-haskell2.pdf, intro-to-haskell2.hs: types and typeclasses
• intro-to-haskell3.pdf, intro-to-haskell3.hs: the syntax for function definitions, e.g., pattern matching, as-patterns, guards, “where” bindings, “let” bindings, “case” expressions

More lecture notes in the same format (pdfs + associated hs files) will be posted in due course. All these lecture notes (both the pdf and the hs files) have been generated from literate Haskell sources with Andres Löh’s excellent lhs2TeX tool.