Anybody know of a good grad school in the US for functional languages?<br>(good = has Ph.D. program that covers functional languages, type systems, correctness proofs, etc...)<br><br>So far Indiana University is the only one I&#39;ve found that has a strong showing in this area.<br>
<br> A way to get into one of the awesome UK schools for free would work too :D<br><br>- Job<br>