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.
>