Sem 3 (Comp. Formal Sem. w/ Haskell) lecture notes: Part 3

The final 4 sets of intro-to-Haskell lecture notes and the associated Haskell code files are now available. Just as before, the ghci commands are numbered in the same way in the pdf and the corresponding hs files for ease of reference:

• intro-to-haskell8.pdf, intro-to-haskell8.hs: modules (importing them, importing functions from modules, importing modules without certain functions, qualified imports) and intro to the Data.List module
• intro-to-haskell9.pdf, intro-to-haskell9.hs: intro to the Data.Char and Data.Set modules, making our own modules, hierarchical modules
• intro-to-haskell10.pdf, intro-to-haskell10.hs: intro to algebraic data types, record syntax, type constructors (a.k.a. parametrized types)
• intro-to-haskell11.pdf, intro-to-haskell11.hs: deriving instances of typeclasses, type synonyms, recursive data types

Lecture notes in the same format (pdfs + hs files) about how to implement in Haskell the syntax and semantics of propositional logic, first-order logic, various English fragments (Montague style) etc. will be posted here when the fall 2013 quarter (and therefore the Semantics 3 course) starts.