丹尼尔·弗里德曼
人员信息
附属: 美国布卢明顿印第安纳大学
优化列表
2020年–今天
2024 [公元41年] 马维西 , 王思玉(Siyu Wang) , 阿诺·维尼特 , 顾俊华 , Subbu Subramanian语 , 刘洛基 , 杨亚飞 , 丹尼尔·弗里德曼 :
F3:功能工程编译器。 富纳奇 2024 : 3-9 2023 [公元40年] 杰森·赫曼 , 丹尼尔·弗里德曼 :
几乎不含宏量的microKanren。 全要素生产率 2023 : 72-91
2010 – 2019
2017 [公元39年] 杰森·赫曼 , 丹尼尔·弗里德曼 , 威廉·伯德 , 马修·梅 :
逻辑编程的简单完整搜索。 ICLP(技术通信) 2017 : 14:1-14:8 [c38] 杰森·赫曼 , 丹尼尔·弗里德曼 :
带约束的microKanren扩展框架。 WLP/WFLP公司 2017 : 135-149 2016 [公元37年] 杰森·赫曼 , 丹尼尔·弗里德曼 , 威廉·伯德 , 马修·梅 :
一个简单的完全搜索的逻辑编程的小嵌入。 DLS公司 2016 : 96-107 2012 [公元36年] 威廉·伯德 , 埃里克·霍克 , 丹尼尔·弗里德曼 :
miniKanren、live和untagged:通过关系解释器生成quine(编程珍珠)。 方案@ICFP 2012 : 8-29
2000 – 2009
2008 [b8] 丹尼尔·弗里德曼 , 米切尔·旺德 :
编程语言基础(3。 编辑)。 麻省理工学院出版社 2008 ,国际标准图书编号 978-0-262-06279-4 ,第I-XXII页,第1-410页 【j30】 米切尔·旺德 , 丹尼尔·弗里德曼 :
编程语言:扩展和训练思维的基本概念。 ACM SIGPLAN通知 43 ( 11 ) : 133-135 ( 2008 ) [公元35年] 奥列格·基塞利约夫 , 威廉·伯德 , 丹尼尔·弗里德曼 , Chung-chieh Shan公司 :
纯、声明性和建构性算术关系(声明性明珠)。 FLOPS(浮动) 2008 : 64-80 [公元34年] 约瑟夫·P·奈尔 , 威廉·伯德 , 丹尼尔·弗里德曼 :
alpha-leanTAP:一阶经典逻辑的声明性定理证明程序。 ICLP公司 2008 : 238-252 2007 [公元29年] 丹尼尔·弗里德曼 , 阿卜杜勒·阿齐兹·古卢姆 , Jeremy G.Siek先生 , 奥尼·林恩·温伯格 :
改进懒惰的克里文机器。 高。 订单符号。 计算。 20 ( 三 ) : 271-293 ( 2007 ) 2005 【b7】 丹尼尔·弗里德曼 , 威廉·伯德 , 奥列格·基塞利约夫 :
理性的阴谋家。 麻省理工学院出版社 2005 ,国际标准图书编号 978-0-262-56214-0 第I-X页,1-169页 [公元33年] 奥列格·基塞利约夫 , Chung-chieh Shan公司 , 丹尼尔·弗里德曼 , Amr Sabry公司 :
回溯、交错和终止单子变压器:(功能珍珠)。 ICFP公司 2005 : 192-203 2002 [公元28年] 丹尼尔·弗里德曼 , Amr Sabry公司 :
小段CPS:组成部分延续。 J.功能。 程序。 12 ( 6 ) : 617-622 ( 2002 ) 2001 【b6】 丹尼尔·弗里德曼 , 米切尔·旺德 , 克里斯托弗·海恩斯 :
编程语言基础(2。 编辑)。 麻省理工学院出版社 2001 ,国际标准图书编号 978-0-262-06217-6 ,第I-XVIII页,1-389页
1990 – 1999
1999 [公元32年] 史蒂文·甘兹 , 丹尼尔·弗里德曼 , 米切尔·旺德 :
蹦床风格。 ICFP公司 1999 : 18-27 1998 [公元27年] 克里斯蒂安·瓦根内克 , 丹尼尔·弗里德曼 :
使用SCHEME教授不确定性和通用自动机。 计算。 科学。 教育。 8 ( 三 ) : 197-227 ( 1998 ) [公元26年] 哈罗德·阿贝尔森 , R.Kent Dybvig公司 , 克里斯托弗·海恩斯 , 吉列尔莫·胡安·罗扎斯 , N.I.亚当斯四世 , 丹尼尔·弗里德曼 , 尤金·科尔贝克 , 盖伊·斯蒂尔(Guy L.Steele Jr.)。 , 大卫·H·巴特利 , 小罗伯特·H·霍尔斯特德。 , 唐·奥克斯利 , 杰拉尔德·苏斯曼 , G.布鲁克斯 , 克里斯·汉森 , 肯特·皮特曼 , 米切尔·旺德 :
关于算法语言方案的修订报告。 高。 订单符号。 计算。 11 ( 1 ) : 7-105 ( 1998 ) [公元31年] 克里希纳穆西神社 , 马提亚斯·费莱森 , 丹尼尔·弗里德曼 :
综合面向对象和功能设计,促进再利用。 ECOOP公司 1998 : 91-113 [公元30年] 藏家乔纳森·索博尔 , 丹尼尔·弗里德曼 :
继续回收。 ICFP公司 1998 : 251-260 1996 【b5】 丹尼尔·弗里德曼 , 马提亚斯·费莱森 :
小阴谋家(4。 编辑)。 麻省理工学院出版社 1996 ,国际标准图书编号 978-0-262-56099-3 第I-XIII页,1-196页 【b4】 丹尼尔·弗里德曼 , 马提亚斯·费莱森 :
经验丰富的阴谋家。 麻省理工学院出版社 1996 ,国际标准图书编号 978-0-262-56100-6 第I-XIII、1-210页 【b3】 马提亚斯·费莱森 , 丹尼尔·弗里德曼 :
一点Java,一些模式。 麻省理工学院出版社 1996 ,国际标准图书编号 978-0-262-56115-0 ,第I-XIV页,第1-179页 【b2】 马提亚斯·费莱森 , 丹尼尔·弗里德曼 :
小MLer。 麻省理工学院出版社 1996 ,国际标准图书编号 978-0-262-56114-3 第I-XVI页,1-181页 [公元25年] 斯坦利·杰斐逊 , 丹尼尔·弗里德曼 :
一个简单的反思型口译员。 LISP符号。 计算。 9 ( 2-3 ) : 181-202 ( 1996 ) [公元29年] 乔纳森·罗西(Jonathan G.Rossie Jr.)。 , 丹尼尔·弗里德曼 , 米切尔·旺德 :
建模基于子对象的继承。 ECOOP公司 1996 : 248-274 [公元28年] 李信德 , 丹尼尔·弗里德曼 :
用上下文丰富Lambda演算:走向增量程序构造理论。 ICFP公司 1996 : 239-250 1995 [公元27年] 埃里克·希尔斯代尔 , J.迈克尔·阿什利 , R.Kent Dybvig公司 , 丹尼尔·弗里德曼 :
使用方案的编译器构造。 FPLE公司 1995 : 251-267 [公元26年] 乔纳森·罗西(Jonathan G.Rossie Jr.)。 , 丹尼尔·弗里德曼 :
子对象的代数语义。 OOPSLA公司 1995 : 187-199 1993 [公元25年] 阿瑟·里尔 , 丹尼尔·弗里德曼 , 布莱恩哈维 , 西蒙·卡普兰 , 理查德·索尔特 , 乔治·史宾格 :
计算机导论课程中的使用方案(摘要)。 ACM计算机科学会议 1993 : 533-534 [公元24年] 李信德 , 丹尼尔·弗里德曼 :
准静态范围界定:在多个词汇范围内共享变量绑定。 POPL公司 1993 : 479-492 【c23】 阿瑟·里尔 , 丹尼尔·弗里德曼 , 布莱恩哈维 , 西蒙·卡普兰 , 理查德·索尔特 , 乔治·史宾格 :
在计算机科学入门课程中使用SCHEME(摘要)。 SIGCSE公司 1993 : 288 [公元22年] 里斯-普莱斯-琼斯 , 道格·库珀 , 丹尼尔·弗里德曼 , 理查德·霍尔特 , 彼得·罗宾逊 :
CS1编程语言的选择问题(摘要)。 SIGCSE公司 1993 : 301 1992 【b1】 丹尼尔·弗里德曼 , 米切尔·旺德 , 克里斯托弗·海恩斯 :
编程语言基础。 麻省理工学院出版社 1992 ,国际标准图书编号 978-0-262-06145-2 第1-536页 [公元24年] 李信德 , 丹尼尔·弗里德曼 :
一流的范围。 LISP符号。 计算。 5 ( 4 ) : 343-375 ( 1992 ) 【c21】 埃里克·T·弗里曼 , 丹尼尔·弗里德曼 :
使用动态分配表征Paralation模型。 巴黎 1992 : 483-496 1990 [公元23年] 约翰·V·佛朗哥 , 丹尼尔·弗里德曼 :
在Scheme中实现词汇范围内的动态交互递归。 计算。 语言。 15 ( 1 ) : 54-64 ( 1990 ) [公元22年] 约翰·V·佛朗哥 , 丹尼尔·弗里德曼 , 史蒂文·D·约翰逊 :
方案中的多路流。 计算。 语言。 15 ( 1 ) : 109-125 ( 1990 ) [公元20年] 斯坦利·杰斐逊 , 李信德 , 丹尼尔·弗里德曼 :
透明参数化的句法理论。 员工持股计划 1990 : 212-226
1980 – 1989
1989 [公元21年] 约翰·V·佛朗哥 , 丹尼尔·弗里德曼 :
通过用数据交换过程来创建高效的程序。 计算。 语言。 14 ( 1 ) : 11-23 ( 1989 ) [公元20年] 马提亚斯·费莱森 , 丹尼尔·弗里德曼 :
序列状态的句法理论。 西奥。 计算。 科学。 69 ( 三 ) : 243-287 ( 1989 ) 1988 [公元19年] 米切尔·旺德 , 丹尼尔·弗里德曼 :
塔楼之谜揭开:对反射塔的非反射性描述。 LISP符号。 计算。 1 ( 1 ) : 11-37 ( 1988 ) [公元18年] R.Kent Dybvig公司 , 丹尼尔·弗里德曼 , 克里斯托弗·海恩斯 :
扩展传递方式:一种通用的宏观机制。 LISP符号。 计算。 1 ( 1 ) : 53-75 ( 1988 ) [第19条] 马提亚斯·费莱森 , 米切尔·旺德 , 丹尼尔·弗里德曼 , 布鲁斯·杜巴 :
抽象连续体:处理跳远的数学语义。 LISP与函数编程 1988 : 52-62 1987 [公元17年] 克里斯托弗·海恩斯 , 丹尼尔·弗里德曼 :
使用引擎抽象定时抢占。 计算。 语言。 12 ( 2 ) : 109-121 ( 1987 ) [公元16年] 马提亚斯·费莱森 , 丹尼尔·弗里德曼 , 尤金·科尔贝克 , 布鲁斯·杜巴 :
顺序控制的句法理论。 西奥。 计算。 科学。 52 : 205-237 ( 1987 ) [公元15年] 克里斯托弗·海恩斯 , 丹尼尔·弗里德曼 :
在过程对象中嵌入连续符。 ACM事务处理。 程序。 语言系统。 9 ( 4 ) : 582-598 ( 1987 ) [第18条] 马提亚斯·费莱森 , 丹尼尔·弗里德曼 :
控制运算符、SECD机器和λ-演算。 编程概念的形式化描述 1987 : 193-222 [第17条] 马提亚斯·费莱森 , 丹尼尔·弗里德曼 :
强制性高阶语言的约简语义。 第(2)部分 1987 : 206-223 [第16条] 马提亚斯·费莱森 , 丹尼尔·弗里德曼 :
高阶语言赋值的微积分。 POPL公司 1987 : 314-325 1986 [公元14年] 马提亚斯·费莱森 , 丹尼尔·弗里德曼 :
详细了解导出和导入语句。 计算。 语言。 11 ( 1 ) : 29-37 ( 1986 ) [j13] 克里斯托弗·海恩斯 , 丹尼尔·弗里德曼 , 米切尔·旺德 :
获得具有连续性的推论。 计算。 语言。 11 ( 3/4 ) : 143-153 ( 1986 ) [第15条] R.Kent Dybvig公司 , 丹尼尔·弗里德曼 , 克里斯托弗·海恩斯 :
扩展传递样式:超越传统宏。 LISP与函数编程 1986 : 143-150 [第14条] 尤金·科尔贝克 , 丹尼尔·弗里德曼 , 马提亚斯·费莱森 , 布鲁斯·杜巴 :
卫生宏观扩张。 LISP与函数编程 1986 : 151-161 [第13条] 米切尔·旺德 , 丹尼尔·弗里德曼 :
塔楼之谜揭开:对反射塔的非反射性描述。 LISP与函数编程 1986 : 298-307 [第12条] 马提亚斯·费莱森 , 丹尼尔·弗里德曼 , 尤金·科尔贝克 , 布鲁斯·杜巴 :
继续推理。 低收入国家 1986 : 131-141 1985 [第11条] 丹尼尔·弗里德曼 , 克里斯托弗·海恩斯 :
约束控制。 POPL公司 1985 : 245-254 1984 [第10条] 克里斯托弗·海恩斯 , 丹尼尔·弗里德曼 :
引擎构建过程抽象。 LISP与函数编程 1984 : 18-24 【c9】 克里斯托弗·海恩斯 , 丹尼尔·弗里德曼 , 米切尔·旺德 :
延续和Coroutines。 LISP与函数编程 1984 : 293-298 【c8】 丹尼尔·弗里德曼 , 米切尔·旺德 :
物化:没有形而上学的反思。 LISP与函数编程 1984 : 348-355 1982 【c7】 罗伯特·菲尔曼 , 丹尼尔·弗里德曼 :
分布式计算的模型、语言和启发式。 AFIPS全国计算机会议 1982 : 671-677 [电子1] 大卫·M·R·帕克 , 丹尼尔·弗里德曼 , 大卫·S·怀斯 , 盖伊·斯蒂尔(Guy L.Steele Jr.)。 :
1982年ACM LISP与函数编程研讨会论文集,LFP 1980,匹兹堡,宾夕法尼亚州,美国,1982年8月15-18日。 ACM公司 1982 ,国际标准图书编号 0-89791-082-6 [目录] 1980 [公元12年] 理查德·索尔特 , 特伦斯·J·布伦南 , 丹尼尔·弗里德曼 :
Concur:一种用于连续并发过程的语言。 计算。 语言。 5 ( 三 ) : 163-189 ( 1980 ) 【c6】 丹尼尔·弗里德曼 , 大卫·S·怀斯 :
应用程序设计的不确定构造函数。 POPL公司 1980 : 245-250
1970 – 1979
1979 [公元11年] 丹尼尔·弗里德曼 , 大卫·S·怀斯 :
引用计数可以管理相互递归的循环环境。 信息处理。 莱特。 8 ( 1 ) : 41-45 ( 1979 ) 【c5】 丹尼尔·弗里德曼 , 大卫·S·怀斯 :
一种公平适用的多道程序设计方法。 并发计算的语义 1979 : 203-225 1978 [公元10年] 丹尼尔·弗里德曼 , 大卫·S·怀斯 :
关于条件表达式的注释。 Commun公司。 ACM公司 21 ( 11 ) : 931-933 ( 1978 ) [公元9年] 丹尼尔·弗里德曼 , 大卫·S·怀斯 :
功能组合。 计算。 语言。 三 ( 1 ) : 31-35 ( 1978 ) [j8] 米切尔·旺德 , 丹尼尔·弗里德曼 :
使用连续和因式分解编译Lambda-Expressions。 计算。 语言。 三 ( 4 ) : 241-263 ( 1978 ) [j7] 丹尼尔·弗里德曼 , 大卫·S·怀斯 :
无界计算结构。 柔和。 实际。 支出。 8 ( 4 ) : 407-416 ( 1978 ) [j6] 丹尼尔·弗里德曼 , 大卫·S·怀斯 :
并行处理应用程序设计方面。 IEEE传输。 计算机 27 ( 4 ) : 289-296 ( 1978 ) 1977 [j5] 约翰·D·劳伦斯 , 丹尼尔·弗里德曼 :
亨德里克斯的同时行动和连续过程模型:介绍和实施。 国际J.Man Mach。 双头螺栓。 9 ( 5 ) : 537-581 ( 1977 ) 【c4】 丹尼尔·弗里德曼 , 大卫·S·怀斯 :
文件系统应用程序设计方面(初步版本)。 可靠软件的语言设计 1977 : 41-55 1976 【j4】 丹尼尔·弗里德曼 , 大卫·S·怀斯 :
递归程序的输出驱动解释,或编写创建和销毁数据结构。 信息处理。 莱特。 5 ( 6 ) : 155-160 ( 1976 ) [j3] 丹尼尔·弗里德曼 , 大卫·S·怀斯 :
垃圾收集堆,其中包括散点表。 信息处理。 莱特。 5 ( 6 ) : 161-164 ( 1976 ) 【c3】 弗雷德里克·彼得里 , 艾伦·W·比尔曼 , 门罗·M·新生儿 , 赫尔穆特·克纳 , 沃纳·贝耶尔 , 凯萨琳·M·肖克利 , 丹尼尔·弗里德曼 :
一般兴趣(论文部分)。 ACM年会 1976 : 529 【c2】 丹尼尔·弗里德曼 , 大卫·S·怀斯 :
CONS不应评估其论点。 ICALP公司 1976 : 257-284 【c1】 丹尼尔·弗里德曼 , 大卫·S·怀斯 , 米切尔·旺德 :
通过查表进行递归编程。 SYMSACC公司 1976 : 85-89 1974 [注2] 丹尼尔·弗里德曼 , 斯图亚特·夏皮罗 :
一个案件持续一段时间直到。 ACM SIGPLAN通知 9 ( 7 ) : 7-14 ( 1974 ) 1971 [j1] 特伦斯·W·普拉特 , 丹尼尔·弗里德曼 :
图形处理的语言扩展及其形式语义。 Commun公司。 ACM公司 14 ( 7 ) : 460-467 ( 1971 )