| August 28th | what is comp ling and why ocaml? (slides,installation tips) |
| August 31st | the interactive toplevel; built-in values and their types (examples) |
| September 2nd | let-bindings, some recursive functions, built-in lists (examples) |
| September 4th | recursive types and more about recursive functions (examples) |
| September 7th | tuples, polymorphic types (examples) |
| September 9th | partial evaluation and curried functions (examples) |
9/10/2009 |
Hale linguistics colloquium talk |
| September 11th | higher order functions like map and fold (examples) |
| September 14th | functions from trees (examples) |
| September 16th | exceptions and i/o (examples) |
| September 18th | the module system and separate compilation (examples) |
| September 21st | storing lexicons in tries (utilities.ml, examples) |
| September 23rd | Huet's ungluer (slides, ungluer.ml, dot-of-trie.ml) |
| September 25th | regular expressions & finite automata (thompson-fsa.ml, nfa-of-trie.ml, visualizeNFA.ml) |
| September 28th | regular expression compiler (slides, lacking-then-star.ml, write_nfa) |
| September 30th | determinization, minimization (slides, determinize.ml) |
| October 2nd | tries with output at their leaves (slides, prefixtree.ml, cmudict04.ml) |
| October 5th | transducers for morphological analysis (slides, regrelation.ml, visualizeTransducer.ml, transducerOfPt.ml) |
| October 7th | quasi-determinization, minimal transducers (slides,push.ml) |
| October 9th | compiling rule-like notations (slides) |
| (Fall Break) | |
| October 14th | combinator recognizers (slides,combinator-recog-suffixset.ml) |
| October 16th | single path combinator parser (slides,single-path.ml) |
| October 19th | pushdown automata and parsing strategies (slides) |
| October 21st | infinite sequences (slides, examples) |
10/22-10/23 |
O'Donnell stochastic functional programming for language workshop #1 |
| October 23rd | searching for PPs (slides,ListWrapper.ml, Sequence.ml, ppattachment.ml) |
| October 26th | iterative deepening (slides, lc.ml) |
| October 28th | wellformed substring tables (slides, examples) |
| October 30th | caching invocations in continuation-passing style (slides, cps-recognizer.ml) |
| November 2nd | from memo-tables to charts (slides, Mellish, Whitelock & Ritche chapter 11) |
| November 4th | using CYK for parsing (slides, goodies-recognizer.ml, goodies-parser.ml) |
| November 6th | Earley parsing (slides, excerpt from Allen) |
| November 9th | grammar engineering (slides) |
| November 11th | long distance dependency (slides) |
11/12-11/13 |
O'Donnell stochastic functional programming for language workshop #2 |
| November 13th | implementing unification (slides, baader-nocase.ml) |
| November 16th | approaches to computational semantics (slides, numbers.ml, modelchecker.ml) |
| November 18th | semantics construction, Montague-style (slides, interpreter.ml) |
| November 20st | the expressive power of grammars (slides) |
| November 23rd | non-CFness of NL and some mildly context-sensitive grammars (slides) |
| (Thanksgiving holiday) | |
| (Black Friday holiday) |
| November 30th | Final Project Presentations |
| December 2nd | |
| December 4th |