馬蒂亞斯·費萊森

馬蒂亞斯·費萊森(德語:Matthias Felleisen)是德裔美國計算機科學教授和作家。他在德國長大,21歲移民美國。他在丹尼爾·福瑞得曼的指導下獲得了印第安納大學的博士學位。馬蒂亞斯·費萊森對程式語言、程序設計等領域有興趣。 [1]

馬蒂亞斯·費萊森
2010年的馬蒂亞斯·費萊森
出生德國
公民權美國
教育程度印第安納大學哲學博士 (1984-1987)
卡爾斯魯厄理工學院Diplom. Wi. Ing. (1978-1983)
亞利桑那大學理學碩士 (1980-1981)
知名於Founder of Racket, 操作語義學, 型別安全, 續體, gradual typing英語gradual typing, A-normal form英語A-normal form
獎項the ACM Karl V. Karlstrom Award, ACM Fellow英語ACM Fellow
科學生涯
研究領域電腦科學家
機構萊斯大學
東北大學
論文The Calculi of Lambda_v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages

參考文獻

  1. ^ Research. [2012-06-26]. (原始內容存檔於2018-06-16). 

外部鏈接