Thanks for the input.

I don't have problems with traveling. The two main obstacles with going to a school in Europe are:
    1. Cost
    2. I only speak english

I would be more than willing to learn another language, but I would like to start working towards a PhD in the next year or so, and I don't think I'd have enough time.

- Job

On Thu, May 13, 2010 at 1:47 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
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe