目录
丹尼尔·福瑞得曼
丹尼尔·弗里德曼（Daniel Paul Friedman，生于1944年），在美国担任计算机科学教授，专攻程序语言研究领域，为该领域的权威。 1976年他和David Wise合作发表了影响深远的论文《Cons should not evaluate its arguments》 。 在接下来的八十年代，他转而研究Scheme语言，探讨了用宏来定义程序语言。他和其他几位作者合作发表了被至今仍广泛引用的论文，引入了干净的宏（Hygienic macro）的概念。和Haynes以及Wand, 他同时研究了连续对象本质、使用及约束可能性。 随后，他和 引入了λ演算，以及 Continuation和。 他们的工作催生了在经典逻辑和计算于连续实际扩展之间的语意和联系方面的研究。 弗里德曼博士是位多产的教科书作者。他的第一本著作《The Little Lisper》写于1974年，时至今日再版第四版了，书更名为《The Little Schemer》。在1990年代，他和撰写发布了另外三本little系列丛书，《The Little MLer》, 《The Seasoned Schemer》, 和《A Little Java, A Few Patterns》。 弗里德曼博士是《》的主要作者。这本书于1980年代出版，改变了程序语言领域的面貌，将重点从盘点各种程序语言转为通过解释器来研究程序语言的原则。今天这个领域的其他教科书都遵循此方向，只是用實作语意和类型理论代替了解释器。 和 《The Little LISPer》一样, 《Essentials of Programming Languages》长盛不衰，目前已为第三版。 最近，弗里德曼博士和Byrd、Kiselyov一起撰写《The Reasoned Schemer》，通过Scheme 语言的一个扩展来解释逻辑编程。 2015年，弗里德曼博士和Carl Eastlund出版了《The Little Prover》，并公开辅助证明程序“J-Bob”的源代码。.
Chez Scheme
Chez Scheme是一个专有的Scheme实现，由R. Kent Dybvig开发并于1985年首次发布。Chez Scheme可以将源代码编译为原生的机器代码，支持PowerPC、SPARC、x86和x86-64处理器架构，并提供了一个优秀的REPL环境。Chez Scheme自7.9.1版本开始支持R6RS。 Chez Scheme有一个窗口和图形软件包，称为 Scheme Widget Library，其支持可移植的SLIB库。 据几个基准测试，Chez Scheme是最快的可用的Scheme实现之一。 Chez Scheme 从9.4版本开始成为开源软件。 Petite Chez Scheme可以免费使用，而无需支付授权费用。.
计算机协会
计算机协会（Association for Computing Machinery，简称ACM）是一个世界性的计算机从业员专业组织，创立于1947年，是世界上第一个科学性及教育性计算机学会，亦是現時全球最大的電腦相關學會。ACM每年都出版大量電腦科学的专门期刊，并就每项专业设有兴趣小组。兴趣小组每年亦会在全世界（但主要在美国）举办世界性讲座及会谈，以供各会员分享他们的研究成果。近年ACM积极开拓网上学习的渠道，以供会员在工作之余或家中提升自己的专业技能。截止20世纪末，ACM在全球拥有75,000个以上的成员，包括遍及学术界、工业、研究和政府领域的学生和计算机专业人员。成员的最高荣誉是会士（Fellow）。 ACM通过它的35个特别兴趣组（Special Interest Group，SIG）提供特殊的技术信息和服务。这些特别兴趣组集中于计算机学科的多种专业，如计算机系统结构专业组（computer architecture，SIGARCH）和计算机图形与互动技术专业组（computer graphics and interactive techniques，SIGGRAPH）。这些特别兴趣组中有不少是跨学科的，适合计算机行业以外的人员。例如有不少艺术家参与到图形互动小组中。 ACM通过支持全球700个以上的专业和学生组织，为当地和地区团体提供服务。其中约有20%不在美国境内。这些组织为专业人士提供服务，搜集信息，准备讲座，组织研讨会和竞赛。 ACM主要成员刊物是Communications of the ACM，刊有一些广泛兴趣的文章，并对每月不同的热点问题展开讨论。ACM也出版了不少获得业内认可的期刊，这些期刊覆盖了计算机领域相当广泛的领域。 ACM主办了8个主要奖项，来表彰计算机领域的技术和专业成就。最高奖项为图灵奖（Turing Award），常被形容为计算机领域的诺贝尔奖。.
LISP
LISP是具有悠久歷史的計算機編程語言家族，有獨特和完全括號的前綴符號表示法。起源於西元1958年，是現今第二悠久而仍廣泛使用的高階編程語言。只有FORTRAN編程語言比它更早一年。LISP編程語族已經演變出許多種方言。現代最著名的通用編程語種是Common Lisp和Scheme。 LISP最初創建時受到阿隆佐·邱奇的lambda演算的影響，用來作為計算機程序實用的數學表達。因為是早期的高階編程語言之一，它很快成為人工智能研究中最受歡迎的編程語言。在計算機科學領域，LISP開創了許多先驅概念，包括：.
查看 肯特·代博维格和LISP
Scheme
Scheme是一种函数式编程语言，是Lisp的两种主要方言之一（另一种为Common Lisp）。不同于Common Lisp，Scheme遵循極簡主義哲学，以一个小型语言核心作为标准，加上各种强力语言工具（语法糖）来扩展语言本身。 麻省理工學院與其他院校曾采用Scheme教授计算机科学入門課程。著名的入門教材《-zh-hans:计算机程序的构造和解释;zh-hant:電腦程式的構造和解釋-》（SICP）利用Scheme來解釋程序設計 。Scheme的廣泛受眾被視為一個主要優勢，然而不同實現之間的差異成為了它的一個劣勢。 Scheme最早由麻省理工學院的蓋伊·史提爾二世與傑拉德·傑伊·薩斯曼在1970年代發展出來，並由兩人發表的「λ論文集」推廣開來。 Scheme語言與λ演算關係十分密切。小寫字母「λ」是Scheme語言的標誌。 Scheme的哲学是：设计计算机语言不应该进行功能的堆砌，而应该尽可能减少弱点和限制，使剩下的功能显得必要。Scheme是第一個使用靜態作用域的Lisp方言，也是第一个引入“干净宏”和第一类续延的编程语言。.
另见
印第安那大學教師
- 万德·阿比姆博拉
- 丹尼尔·福瑞得曼
- 丹尼爾·柯克伍德
- 侯世達
- 保羅·哈爾莫斯
- 凯文·杨
- 土登晋美诺布
- 埃文·贝赫
- 埃米爾·阿廷
- 杨建平 (数学家)
- 柳無忌
- 簡郁珊
- 约翰·巴考尔
- 肯特·代博维格
- 薩爾瓦多·盧瑞亞
- 赫尔曼·约瑟夫·马勒
- 阿利斯泰爾·麥克勞德
- 阿尔弗雷德·金赛
- 陳克恢
- 马克斯·奥古斯特·佐恩
- 魯道夫·拉梅爾