[icebraining]

Yeah, I attended it until a few years ago. They're also teaching OCaml and Prolog, but Java is the main language for algos, and for the AI class too. C is only now used for the Systems class.

[pjmlp]

Quite happy to see ML languages and Prolog still around.

Back when I was there, we used Caml Light.

Miss the campus. :)