CMU doesn't have any course explicitly on Haskell. There is a freshman course on functional programming, which is taught in Standard ML and therefore definitely

CMU doesn't have any course explicitly on Haskell. There is a freshman course on functional programming, which is taught in Standard ML and therefore definitely has a focus on the advantages of an expressive type system.(http://www.cs.cmu.edu/~15150/ http://www.cs.cmu.edu/~15150/). There are multiple other courses where a functional paradigm is either necessary or very useful as well (http://www.cs.cmu.edu/~15210/ http://www.cs.cmu.edu/~15210/, http://www.cs.cmu.edu/~rwh/courses/ppl/ http://www.cs.cmu.edu/~rwh/courses/ppl/, http://www.cs.cmu.edu/~crary/hotc/ http://www.cs.cmu.edu/~crary/hotc/, http://symbolaris.com/course/compiler11.html http://symbolaris.com/course/compiler11.html, among others). There are currently no courses which teach object-oriented programming.