My 2 cents: OCaml is used at the University of California, San Diego, as part of the undergraduate Programming Languages class (along with Python and Prolog).

cf. http://cseweb.ucsd.edu/classes/wi13/cse130-a/

- Valentin

On Fri, Mar 15, 2013 at 10:26 PM, Jason Yeo <jasonyeo88@gmail.com> wrote:

I'm an undergrad at the National University of Singapore. We are taught to use ocaml for a Programming Language Implementation class.

Previously, the class was taught using java. Ocaml is definitely a better choice for the class because of ADTs and the expressiveness of the language.