马蒂亚斯·费莱森

马蒂亚斯·费莱森(德语: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). 

外部链接

编辑