Texts

• The Formal Semantics of Programming Languages by Glynn Winskel, MIT Press, 1993.
• Types and Programming Languages by Benjamin C. Pierce, MIT Press, 2002.

The following electronic resources may also be useful.

• Practical Foundations for Programming Languages by Robert Harper.
• Programming Languages: Applications and Interpretation by Shriram Krishnamurthi.

OCaml

• OCaml Manual
• Real World OCaml by Yaron Minsky, Anil Madhavapeddy, and Jason Hickey.

Installation

Download and install OCaml. Install the latest release available for your platform.

Installing Emacs with Tuareg Mode

You can develop OCaml programs using any text editor. We suggest Emacs with Tuareg mode, a special mode for editing OCaml files. You can find the software and installation instructions on the Tuareg page.

Installing the OCaml Plugin for Eclipse

If you are familiar with the Eclipse development environment, there are several OCaml plugins for Eclipse available in various states of development.