[Haskell-cafe] Good US Grad schools for functional languages?

[Job Vranish]

Anybody know of a good grad school in the US for functional languages?
(good = has Ph.D. program that covers functional languages, type systems,
correctness proofs, etc...)

So far Indiana University is the only one I've found that has a strong
showing in this area.

A way to get into one of the awesome UK schools for free would work too :D

- Job
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100513/e3b75d4a/attachment.html