An introduction to the Objective Caml language
and its type system

Xavier Leroy

• Copies of the slides
• Reading: Objective Caml tutorial, core language
• Reading: A polymorphic applicative language (summary of semantics, typing rules, type inference for core ML).

Second lecture: objects and classes

• Copies of the slides
• Reading: Objective Caml tutorial, object and classes
• Reading: Objective ML: An effective object-oriented extension to ML by Didier Rémy and Jérôme Vouillon. (The Objective Caml approach.)
• Reading: Sound polymorphic type inference for objects by Jonathan Eifrig, Scott Smith, and Valery Trifonov. (The subtype constraint approach)

• Copies of the slides
• Reading: Objective Caml tutorial, modules
• Reading: A syntactic theory of generativity and sharing.