馬蒂亞斯·費萊森
| 馬蒂亞斯·費萊森 | |
|---|---|
 2010年的馬蒂亞斯·費萊森 | |
| 出生 | 德國 |
| 公民權 | 美國 |
| 教育程度 | 印第安納大學哲學博士 (1984-1987) 卡爾斯魯厄理工學院Diplom. Wi. Ing. (1978-1983) 亞利桑那大學理學碩士 (1980-1981) |
| 知名於 | Founder of Racket, 操作語義學, 型別安全, 續體, gradual typing, A-normal form |
| 獎項 | the ACM Karl V. Karlstrom Award, ACM Fellow |
| 科學生涯 | |
| 研究領域 | 電腦科學家 |
| 機構 | 萊斯大學 東北大學 |
| 論文 | The Calculi of Lambda_v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages |
馬蒂亞斯·費萊森（德語：Matthias Felleisen）是德裔美國計算機科學教授和作家。他在德國長大，21歲移民美國。他在丹尼爾·福瑞得曼的指導下獲得了印第安納大學的博士學位。馬蒂亞斯·費萊森對程式語言、程序設計等領域有興趣。 [1]
參考文獻
[編輯]外部鏈接
[編輯]- Matthias at Northeastern University （頁面存檔備份，存於互聯網檔案館）
- Khoury College of Computer Sciences at Northeastern University （頁面存檔備份，存於互聯網檔案館）
| 特徵 |
| ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 實現 |
| ||||||||||||||||||||||||
| 實踐 社群 |
| ||||||||||||||||||||||||
