阎锦勉
2021-07-28
丹尼尔·福瑞得曼(DanielPaulFriedman),生于1944年,在美国印第安那布鲁明顿大学担任计算机科学教授,专攻程序语言研究领域,为该领域的权威。1976年他和DavidWise合作发表了影响深远的论文《Consshouldnotevaluateitsarguments》。在接下来的八十年代,他转而研究Scheme语言,探讨了用宏来定义程序语言。他和其他几位作者合作发表了被至今仍广泛引用的论文,引入了干净的宏的概念。和Haynes以及Wand,他同时研究了连续对象本质、使用及约束可能性。随后,他和Felleisen引入了lambdacalculus,以及continuations和controloperators。他们的工作催生了在经典逻辑和计算于连续实际扩展之间的语意和联系方面的研究。福瑞得曼博士是位多产的教科书作者。他的第一本著作《TheLittleLisper》写于197