I asked a question on Quora about which universities use functional programming in an intro CS course, and got a small list of replies. At the very least, this could give you a place to start.

https://www.quora.com/Which-universities-teach-their-first-CS-course-in-a-functional-programming-language?share=1

On Thu, Aug 14, 2014 at 10:29 AM, Rustom Mody <rustompmody@gmail.com> wrote:

I am collecting some data on FP used to introduce programming
ie as a first course: http://blog.languager.org/2014/08/universities-starting-functional.html

Naturally the haskell link is the first:
http://www.haskell.org/haskellwiki/Haskell_in_education

I was just wondering if there are more extremal cases of this:
eg Are there any univs using Idris/Agda to *introduce* programming/math/proofs etc

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe