丹尼尔·福瑞得曼

✍ dations ◷ 2025-08-15 18:10:31 #丹尼尔·福瑞得曼

丹尼尔·弗里德曼(英语: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”的源代码。

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

相关

  • 原台南运河海关坐标:22°59′47″N 120°11′33″E / 22.9963861°N 120.192468°E / 22.9963861; 120.192468原台南运河海关位于台南市中西区,于民国九十年(2001年)7月16日公告为台南市的市定
  • 董晨董晨(1968年-),中国免疫学家,清华大学医学院教授、院长。2019年当选为中国科学院院士。1968年生于中国湖北武汉。1989年毕业于武汉大学细胞生物学专业,获学士学位。1996年毕业于美
  • 迪娜·阿舍尔-史密斯迪娜·阿舍尔-史密斯(英语:Dina Asher-Smith,英语发音:/ˈdaɪːnæ ˈæʃɜ smɪθ/,1995年12月4日-)生于奥尔平顿,是一名英国女子田径运动员,主攻短跑项目。她的父母都来自牙买加
  • 德尼莎·赫拉德科娃德尼莎·赫拉德科娃(捷克语:Denisa Chládková,1979年2月8日-),出生于捷克布拉格,是捷克网球运动员。赫拉德科娃生涯并没有夺得任何一个WTA单打冠军,不过她曾在1997年温布顿网球锦
  • Enema of the State《Enema of the State》是美国著名的朋克乐团Blink-182于1999年发行的专辑。
  • 陈登原陈登原(1900年 - 1975年),原名登元,字伯瀛。历史学家。浙江宁波余姚(今慈溪)人。1900年1月29日出生于浙江余姚周巷镇。幼从父读书。1915年入浙江第四师范学校(后改为宁波中学),毕业后
  • 林芳玫林芳玫(1961年12月1日-),台北市人。1984年自国立台湾大学外国语文学系毕业,1992年取得美国宾夕法尼亚大学社会学博士学位。1992年至2000年任教于国立政治大学新闻系,2000年至2004
  • 窦照窦照,西魏驸马,西魏、隋朝时官员。窦照娶西魏文帝女义阳公主,在北周担任大将军、开府仪同三司、蜀郡太守、河州、渭州、成州三州刺史、钜鹿恭公。他的父亲窦毅,是宇文泰的女婿。
  • 赵佩茹赵佩茹(1914年-1973年),满族,相声艺人,捧哏大师。拜相声前辈焦少海为师,学说相声。为同代相声演员中最早拜师学艺者,即“门长”。从1930年代起开始崭露头角,因其功底深厚,使活细致入微
  • 伊藤千晃伊藤千晃(日语:伊藤 千晃/いとう ちあき,1987年1月10日),日本的歌手、模特儿、设计师,身高153公分。所属公司AVEX,为团体AAA的前成员,日本爱知县名古屋市出身,爱知县立小牧高等学校毕