丹尼尔·福瑞得曼

✍ dations ◷ 2025-02-28 13:32:42 #丹尼尔·福瑞得曼

丹尼尔·弗里德曼(英语:Daniel Paul Friedman,生于1944年),在美国印第安纳大学伯明顿分校担任计算机科学教授,专攻程序语言研究领域,为该领域的权威。

1976年他和David Wise合作发表了影响深远的论文《Cons should not evaluate its arguments》 。

在接下来的八十年代,他转而研究Scheme语言,探讨了用宏来定义程序语言。他和其他几位作者合作发表了被至今仍广泛引用的论文,引入了干净的宏(Hygienic macro)的概念。和Haynes以及Wand, 他同时研究了连续对象本质、使用及约束可能性。 随后,他和Felleisen(英语:Matthias Felleisen) 引入了λ演算,以及 Continuation和call-with-current-continuation(英语:call-with-current-continuation)。 他们的工作催生了在经典逻辑和计算于连续实际扩展之间的语意和联系方面的研究。

弗里德曼博士是位多产的教科书作者。他的第一本著作《The Little Lisper》写于1974年,时至今日再版第四版了,书更名为《The Little Schemer》。在1990年代,他和Felleisen(英语:Matthias Felleisen)撰写发布了另外三本little系列丛书,《The Little MLer》, 《The Seasoned Schemer》, 和《A Little Java, A Few Patterns》。

弗里德曼博士是《Essentials of Programming Languages(英语:Essentials of Programming Languages)》的主要作者。这本书于1980年代出版,改变了程序语言领域的面貌,将重点从盘点各种程序语言转为通过解释器来研究程序语言的原则。今天这个领域的其他教科书都遵循此方向,只是用实现语意和类型理论代替了解释器。 和 《》一样, 《》长盛不衰,目前已为第三版。

最近,弗里德曼博士和Byrd、Kiselyov一起撰写《The Reasoned Schemer》,通过Scheme 语言的一个扩展来解释逻辑编程。

2015年,弗里德曼博士和Carl Eastlund出版了《The Little Prover》,并公开辅助证明程序“J-Bob”的源代码。

福瑞德曼博士是以下书籍的作者:

相关

  • 科里卡尔·斐迪南·科里(捷克语:Carl Ferdinand Cori,1896年12月5日-1984年10月20日),美国生物化学家。1947年他与妻子吉蒂·黛丽莎·柯里一起因发现糖代谢中的酶促反应而被授予诺贝尔
  • 共同体共同体(英语:commonwealth),一个传统的英语名词,为一种政治共同体(community),为了促进共同的利益而成立。在传统上,它与共和主义(republicanism)同义,可被用来指单一的共和国,因此在这种
  • 悬链线悬链线是一种常用曲线,物理上用于描绘悬在水平两点间的因均匀引力作用下的软绳的形状,因此而得名。它的公式为:其中cosh是双曲余弦函数, a
  • 美国民主社会主义者美国民主社会主义者(英语:Democratic Socialists of America,缩写为DSA)是美国的一个由民主社会主义者、左翼社会民主主义者和工人运动活动家组成的政治组织。美国民主社会主义
  • 翁贝托·博尔索翁贝托·博尔索(意大利语:Umberto Borsò,1923年4月3日-2018年11月26日),出生于拉斯佩齐亚,意大利歌剧男高音。2018年11月26日逝世于罗马。
  • 玛格达·戈培尔玛格塔·戈培尔(德语:Johanna Maria Magdalena "Magda" Goebbels,1901年11月11日-1945年5月1日),全名约翰娜·玛丽娅·玛格德莱娜·戈培尔,纳粹德国宣传部长约瑟夫·戈培尔的妻子。
  • 艾晴晴艾晴晴,真名王晓光,2006年10月15日提出了并且开始实施“100天曲别针换别墅”的计划,在网络上走红,但是争议亦颇多。在100天后,网友“立二拆四”在天涯论坛中宣布自己是其幕后推手
  • 仓有衡仓有衡(?-),中华人民共和国政治人物、外交官。1998年,接替张俊岐,担任中华人民共和国驻毛里塔尼亚大使。2001年,由李国学接任。
  • 繁文缛礼繁文缛礼,又称“红带”(英语:Red tape),是一个管理学术语,其初始来源并不明确。通常指官僚体系中(尤其是政府或大型企业)的官僚文牍主义,即过分严格死板的规章制度和对其的遵从。“红
  • 风骚律师《绝命律师》(英语:)是一部美国电视连续剧,由文斯·吉利根(Vince Gilligan)以及彼得·古尔德(Peter Gould)共同创作和制作。这出电视剧为《绝命毒师》的衍生前传。 背景年代设于2002