Universities starting with functional programming

Here's a list of some universities that are using functional languages to teach programming. As I find more data, it will be added. So please let me know (with links!!) what Ive missed – lists are particularly welcome, but individual universities is also welcome.  Also other languages that have some claim to being functional.

Haskell

Haskell – official list (list)
At quora (also scheme and ML dialects) 

ML

Carnegie Mellon 
Copenhagen (one answer)
Gothenberg
OCAML?
CAML Light?

F#

Copenhagen

Scheme

Schemers (list)

Scala

Trinity univ San Antonio

Clojure

Minnesotta-Morris

Scala

List
Some others from quora
Trinity univ San Antonio
Philipps-Universität Marburg
 

Erlang

(not first language)
A Coruña
Kent
Universidad Nacional de Rosario Rosario-Santa Fe, Argentina
KTH Sweden
Gothenburg

More 'borderline functional' cases below:

Lisp

Bordeaux

Python

Python  (list)
MIT
Caltech (CS)