马蒂亚斯·费莱森 - 维基百科,自由的百科全书
马蒂亚斯·费莱森 | |
---|---|
![]() 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 (页面存档备份,存于互联网档案馆)
|
|