馬蒂亞斯·費萊森（德語：Matthias Felleisen）是德裔美國計算機科學教授和作家。他在德國長大，21歲移民美國。他在丹尼爾·福瑞得曼的指導下獲得了印第安納大學的博士學位。馬蒂亞斯·費萊森對程式語言、程序設計等領域有興趣。 [1]
快速預覽 馬蒂亞斯·費萊森, 出生 ...
| 馬蒂亞斯·費萊森 |
|---|
 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 |
|---|
|
|
關閉
