Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Using, Understanding, and Unraveling the OCaml Language

Using, Understanding, and Unraveling the OCaml Language

These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers ---little prerequiresite is actually assumed. They provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions starting from small variations on the core language to end up with the OCaml language ---one of the most popular incarnation of ML--- including its object-oriented layer.
Homepage ]
Author:Didier Rémy.
Last modification date:25-Nov-2002
Development status:Stable
Kind: Documentations :: Courses
Homepage:http://cristal.inria.fr/~remy/cours/appsem/