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.meun...@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 > >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe