J-O-Caml

Jean-Jacques Lévy ( Tsinghua, November-December 2009 )

Class 1 Functions, closures, recursive data types, polymorphic types. [Pdf2, PPT]
Class 2 Imperative features: references, mutable data, input/output [list processing, tree traversals]. [Pdf2, PPT]
Class 3 Standard library [labeling program for bitmap graphics]. [Pdf2, PPT]
Class 4 Modules, signatures, parametric modules, private variables, abstract types. Objects in Ocaml. [Pdf2, PPT]
Class 5 Multithread programming (Linux threads) for shared memory architectures. [Pdf2, PPT]
Class 6 Concurrency in distributed applications, join-patterns [example of distributed ray tracing]. [Pdf2, PPT]


Coursework Labeling program for grayscale pictures (inputs, solution)