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)

Agenda
Course, Tsinghua University, Beijing, 2009