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

[Simon Peyton-Jones]

I'd also think of Harvard (Morrisset), Tufts (Ramsey), Portland State (Jones, Sheard), Yale (Hudak), North Eastern (Wand, Felleisen, Shivers), Utah (Flatt), Chicago (Reppy, MacQueen), North Western (Findler).

Simon

From: haskell-cafe-bounces at haskell.org [mailto:haskell-cafe-bounces at haskell.org] On Behalf Of Job Vranish
Sent: 13 May 2010 18:41
To: Haskell Cafe mailing list
Subject: [Haskell-cafe] Good US Grad schools for functional languages?

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/20100514/ccd81e78/attachment.html