fbpx
维基百科

马蒂亚斯·费莱森

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

外部鏈接

  • Matthias at Northeastern University (页面存档备份,存于互联网档案馆
  • Khoury College of Computer Sciences at Northeastern University (页面存档备份,存于互联网档案馆

马蒂亚斯, 费莱森, matthias, felleisen, 是德裔美国计算机科学教授和作家, 他在德国长大, 21岁移民美国, 他在丹尼尔, 福瑞得曼的指导下获得了印第安纳大学的博士学位, 對编程语言, 程序设计等領域有興趣, 2010年的出生德國公民权美國教育程度印第安纳大学哲學博士, 1984, 1987, 卡尔斯鲁厄理工学院diplom, 1978, 1983, 亚利桑那大学理學碩士, 1980, 1981, 知名于founder, racket, 操作语义学, 型別安全, 计算续体, gradual, . 马蒂亚斯 费莱森 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参考文献 编辑 Research 2012 06 26 原始内容存档于2018 06 16 外部鏈接 编辑Matthias at Northeastern University 页面存档备份 存于互联网档案馆 Khoury College of Computer Sciences at Northeastern University 页面存档备份 存于互联网档案馆 取自 https zh wikipedia org w index php title 马蒂亚斯 费莱森 amp oldid 76029724, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。