OCaml is taught in an optional course called "Functional Programming" at Wrocław University of Technology and at University of Wrocław. For contrast, at an obligatory course called "Programming" for Computer Science at University of Wrocław, there are elements of Haskell and Prolog (rather than OCaml). http://international.uni.wroc.pl/en/course/functional-programming http://international.uni.wroc.pl/en/course/programming