Jacques Garrigue氏のOCaml集中講義＠筑波の資料

http://www.math.nagoya-u.ac.jp/~garrigue/lecture/tsukuba06/

というものがあったらしい。再帰データ型までは普通だが、stream parserまでやるのはちょっとすごいかも。…などと7年前に30分×7回ぐらいでミニ関数型言語インタプリタと型推論とPrologインタプリタまでやらせた奴が言ってみる（OCamlじゃなくてSMLだったけど）。