Using, Understanding, and Unraveling The OCaml Language
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.
Tag(s): Functional Programming
Publication date: 31 Dec 2001
ISBN-10: n/a
ISBN-13: n/a
Paperback: n/a
Views: 12,321
Type: N/A
Publisher: n/a
License: n/a
Post time: 11 Apr 2008 11:43:03
Using, Understanding, and Unraveling The OCaml Language
About The Author(s)
No information is available for this author.