關於函數式編程，讀研或讀博，國外哪所大學強？

01-31

謝邀, 我列下我留意過的組(人), 也不知道強不強, 我也想去看看啊哭

我淺薄地用語言來分下類

Haskell的

The Yale Haskell Group 耶魯, Paul Hudak(已去世), FRP

unsw.edu.au 的頁面 UNSW, Haskell LLVM backend, HPC

http://fp.cs.nott.ac.uk/ Graham Hutton, 這個 @閱千人而惜知己更加清楚一些

http://www.cis.upenn.edu/~plclub/ Dependently-typed Haskell

Max Planck Institute for Software Systems (MPI-SWS) 馬普, Haskell相關的記得有Backpack, Rust core team里有個小夥子也是這裡出來的, PHD那篇關於並發的論文還拿了獎

Home page for DA Turner David Turner, Kent早年還有點工作出來, 近來沒怎麼看到

Philip Wadlers home page 愛丁堡, 老早前有個組做類似LINQ的東西叫LINK有點意思

TDA342/DIT260 Chalmers理工也算是老牌的出FP工作的地方...

WebHome &< Center &< UUCS Utrecht university 也算是老牌, 有些工作我挺喜歡的

其實去MSR Cambridge跟SPJ混應該也行

經過千人提醒忘了牛津...

說起牛津想起我是通過這個小哥(http://joshkos.blogspot.com/)認識牛津那組人的, 後來發現Richard Bird老爺子也是在牛津, 近來出工作比較多的是Jeremy Gibbons, Recursive Scheme一堆堆我看不懂啊看不懂 (

Scala

LAMP | EPFL ETH, Scala那堆人, 還有Niklaus Wirth 老爺子

Scheme (Racket)

Home - Programming Research Laboratory 東北, Scheme大神雲集

Utah PLT 猶他, Matthew Flatt算是Racket的主要貢獻者

plwonks 這個就不用多介紹了

OCaml

Inria - Inventeurs du monde num??rique 神一般的INria

Computer Laboratory: OCaml Labs 劍橋的OCaml Lab

其他PLT勁旅CMU之類的我不說了

我來說一個在法國的純理論的碩士項目可以申獎學金

inria做OCaml和coq的原班人馬上課，包括最初的發明者Xavier Leroy，Didier Rémy等等

可以選的課程列表和相關信息可以看：https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:cours2

美國

NEU（東北）

Utah

Indiana

UMD

OSU(Oregon)

UPenn

Cornell

Princeton

CMU

UCSD?

...

英國

Oxford

Cambridge

Birminham

Edinburgh

Glasgow

Nottingham

IC(帝國理工)

UCL

Warwick

St-Andrews

...

歐洲

Chalmers

EPFL

MPI-SWS

INRIA

IMDEA

DIKU(Coperhan)

...

其他

MSR Cambridge

Galois, Inc?

推薦Chalmers，一般挺少有人知道，等dependent types再流行一點估計會再出名一些。感覺不少論文都是從那兒來的。

學Scheme，來東北

康奈爾

學Haskell，來我們烏大～