Didier Remy

Didier Remy

No information is available for this author.

Back to all authors

Books Authored by Didier Remy

Using, Understanding, and Unraveling The OCaml Language

Post date: 11 Apr 2008
These course notes provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions, including its object-oriented layer.
Publication date: 31 Dec 2001
 
Using, Understanding, and Unraveling The OCaml Language

Using, Understanding, and Unraveling The OCaml Language

Post date: 11 Apr 2008
These course notes provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions, including its object-oriented layer.
Publication date: 31 Dec 2001


Book Categories
Sponsors