Same as compsci students at TU Munich, if Prof. Rybalchenko does the intro to functional programming course.

I really enjoyed it and found it much better suited for students than other languages, especially with the book by Gert Smolka.