2010/05/17 Tim Chevalier :
> The first three names on that list of faculty members are members of
> the HASP group (High Assurance Systems Programming), which is an
> active research group focused on developing a call-by-value Haskell
> variant for systems programming. More info at
> http://hasp.cs
On 5/13/10, Job Vranish wrote:
> 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...)
At Portland State, faculty include Andrew Tolmach, Jim Hook, Mark
Jones, Tim Sheard, an
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-boun...@haskell.org
[mailto:haskell-cafe-boun...@haskell.org
> Of course, I'm partial.
And of course so was I, and even more than partial !
Excuse-me if the provocation was badly formulated.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hello Job,
CMU http://www.csd.cs.cmu.edu/research/areas/principleprogr/,
UPenn http://www.cis.upenn.edu/~plclub/,
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 u
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 do
>> Anybody know of a good grad school in the US for functional languages?
>
> If you imperatively need to stay in the US, I do not know if there's even one.
That's pretty harsh! Just in the northeastern US, we have CMU, UPenn,
Harvard, Northeastern, Princeton, Yale, Cornell (and maybe others I'm
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 kno
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 kno
