马蒂亚斯·费莱森

维基百科,自由的百科全书
跳到导航 跳到搜索
马蒂亚斯·费莱森
Photograph of Felleisen standing in front of a projector screen, gesturing
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

马蒂亚斯·费莱森(Matthias Felleisen)是德裔美国计算机科学教授和作家。他在德国长大,21岁移民美国。他在丹尼尔·福瑞得曼的指导下获得了印第安纳大学的博士学位。马蒂亚斯·费莱森對编程语言、程序设计等領域有興趣。 [1]

参考文献[编辑]

  1. ^ Research. [2012-06-26]. 

外部鏈接[编辑]