丹尼尔·福瑞得曼 丹尼尔弗里德曼英語Daniel Paul Friedman生于年在美国印第安纳大学伯明顿分校担任计算机科学教授专攻程序语言研究领域为该领域的权威 年他和David Wise合作发表了影响深远的论文Cons should not evaluate its arguments  在接下来的八十年代他转而研究Scheme语言探讨了用宏来定义程序语言他和其他几位作者合作发表了被至今仍广泛引用的论文引入了干净宏Hygienic macro的概念和Haynes以及Wand 他同时研究了续体对象的本质使用及约束可能性 随后他和Felleisen英语Matthias Felleisen向λ演算引入了续体和以当前续体调用英语callwithcurrentcontinuation 他们的工作催生了在经典逻辑和计算以及续体的实际扩展之间的语意和联系方面的研究 弗里德曼博士是位多产的教科书作者他的第一本著作The Little Lisper写于年时至今日再版第四版了书更名为The Little Schemer在年代他和Felleisen英语Matthias Felleisen撰写发布了另外三本little系列丛书The Little MLer The Seasoned Schemer 和A Little Java A Few Patterns 弗里德曼博士是Essentials of Programming Languages英语Essentials of Programming Languages的主要作者这本书于年代出版改变了程序语言领域的面貌将重点从盘点各种程序语言转为通过解释器来研究程序语言的原则今天这个领域的其他教科书都遵循此方向只是用實作语意和类型理论代替了解释器 和 The Little LISPer一样 Essentials of Programming Languages长盛不衰目前已为第三版 最近弗里德曼博士和ByrdKiselyov一起撰写The Reasoned Schemer通过Scheme 语言的一个扩展来解释逻辑编程 年弗里德曼博士和Carl Eastlund出版了The Little Prover并公开辅助证明程序JBob的源代码