Hello Job,
CMU http://www.csd.cs.cmu.edu/research/areas/principleprogr/,
Harvard,
TTI-Chiago /UChicago
all have excellent faculty who do work related to typed functional programming languages.
Other places worth at least checking out are:
Northeastern university in boston - they have scheme heavy hitters like olin shivers and matthias felleisen, and their PLT faculty are world class
Yale has a blend of systems verification work and DSL related work by the two pl faculty
Rice in texas - walid taha and maybe some others
UW seattle has has some PL folks at points, though i'm not sure which active people are currently there,
the may be some other places that i'm over looking, like cornell, though i don't think there are currently any functional pl theory folks there currently, eg UCLA.
I think that covers the bulk of strong PL faculty in the US who do functionalish things who are at schools which have CS phd programs
also bear in mind when applying to schools that many departments are currently admitting fewer students than they've typically in the past due to funding constraints, so subject to whatever budget constraints you have (or none if you can get a fee waiver), apply to as many programs that you are genuinely interested in going to as is possible, even relatively small programs can have only 8 admitted student slots across all areas of CS and 200+ applicants!
Best
-Carter Schonwald
On Thu, May 13, 2010 at 1:53 PM, Pierre-Etienne Meunier
<pierreetienne.meunier@gmail.com> wrote:
If you imperatively need to stay in the US, I do not know if there's even one. If you do not have problems with traveling, you can have a look at :
http://mpri.master.univ-paris7.fr/
Which gathers the best french students (from such schools as Ecole Polytechnique, ENS Ulm, ENS Cachan). Or I know else of people who did a Ph.D. in sweden with Thierry Coquand for instance. Per Martin-Löf is there too.
Cheers,
PE
El 13/05/2010, a las 13:41, Job Vranish escribió:
> 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