Albert，E.、Hanus，M.和Vidal，G.一个实用的多段落声明语言的部分求值器。 J.功能和逻辑编程1 (2002). 谷歌学者 
数字图书馆 
Antoy，S.定义树。 在 第三届代数和逻辑程序设计国际会议论文集。 斯普林格LNCS 6321992143-157。 谷歌学者 数字图书馆 Antoy，S.基于构造函数的条件收缩。 在 第三届国际ACM SIGPLAN声明性编程原则与实践会议记录。 ACM出版社，2001年，199--206。 谷歌学者 数字图书馆 Antoy，S.函数逻辑编程的评估策略。 J.符号计算40 , 1 (2005), 875--903. 谷歌学者 数字图书馆 Antoy，S.、Echahed，R.和Hanus，M.A需要缩小策略。 J.ACM，47岁 , 4 (2000), 776--822. 谷歌学者 数字图书馆 Antoy，S.和Hanus，M.功能逻辑设计模式。 在 第六届函数与逻辑国际研讨会论文集。 斯普林格LNCS 24412002，67--87。 谷歌学者 数字图书馆 Antoy，S.和Hanus，M.用函数模式进行声明性编程。 在 基于逻辑的程序合成和转换国际研讨会论文集。 施普林格LNCS 39012005年6月22日。 谷歌学者 数字图书馆 Antoy，S.和Hanus，M.在函数逻辑程序中重叠规则和逻辑变量。 在 第22届逻辑程序设计国际会议论文集。 施普林格LNCS 40792006，87-101。 谷歌学者 数字图书馆 Bezem，M.、Klop，J.W.和de Vrijer，R.（编辑）。 术语重写系统。 剑桥大学出版社，2003年。 谷歌学者 数字图书馆 Braßel，B.、Fischer，S.、Hanus，M.、Huch，F.和Vidal，G.Lazy call-by-value评估。 在 第十二届ACM SIGPLAN函数编程国际会议记录。 ACM出版社，2007，265--276。 谷歌学者 数字图书馆 Braßel，B.、Hanus，M.、Huch，F.、Silva，J.和Vidal，G.功能逻辑程序的运行时评测。 在 基于逻辑的程序合成和转换国际研讨会论文集。 斯普林格LNCS 3573，2005，182--197。 谷歌学者 数字图书馆 Braßel，B.、Hanus，M.和Müller，M.。库里高级数据库编程。 在 第十届声明性语言实践问题国际研讨会论文集。 施普林格LNCS 49022008，316-332。 谷歌学者 数字图书馆 Braßel，B.和Huch，F.关于函数和逻辑编程的更紧密集成。 在 2007年APLAS会议记录。 施普林格LNCS 48072007122--138。 谷歌学者 数字图书馆 Casas，A.、Cabeza，D.和Hermenegildo，M.V.在LP系统中结合函数表示法、惰性计算和高阶的语法方法。 在 程序。 第八届函数与逻辑程序设计国际研讨会。 施普林格LNCS 39452006146-162。 谷歌学者 数字图书馆 Claessen，K.和Ljunglöf，P.在Haskell中键入逻辑变量。 在 ACM SIGPLAN Haskell研讨会会议记录 2000年，蒙特利尔。 谷歌学者 数字图书馆 Cleva，J.M.、Leach，J.和López-Fraguas，F.J.功能逻辑程序验证的逻辑编程方法。 在 第六届ACM SIGPLAN国际声明性编程原则与实践会议记录。 ACM出版社，2004年9月19日。 谷歌学者 数字图书馆 Fischer，S.和Kuchen，H.功能逻辑程序的玻璃盒测试用例的系统生成。 在 第九届ACM SIGPLAN声明性编程原理与实践国际会议记录。 ACM出版社，2007年，75-89。 谷歌学者 数字图书馆 García de la Banda，M.J.，Demoen，B.，Marriott，K.和Stuckey，P.J.走进HAL之门：HAL教程。 在 第六届函数与逻辑程序设计国际研讨会论文集。 斯普林格LNCS 2441，2002，47--66。 谷歌学者 数字图书馆 González-Moreno，J.C.，Hortalá-Gonzáles，M.T.，López-Fraguas，F.J.和Rodríguez-Artalejo，M.基于重写逻辑的声明式编程方法。 逻辑程序设计杂志 , 1999, 40--47. 谷歌学者 交叉引用 
Hanus，M.用单一计算模型教授函数和逻辑编程。 在 第九届程序设计语言、实现、逻辑和程序国际研讨会论文集。 施普林格LNCS 1292，1997，335--350。 谷歌学者 数字图书馆 Hanus，M.面向类型的Web用户界面构建。 在 第八届ACM SIGPLAN声明式编程原理与实践国际会议论文集。 ACM出版社，2006年，27-38。 谷歌学者 数字图书馆 Hanus，M.多通道声明性语言。 在 逻辑程序设计国际会议论文集。 施普林格LNCS 46702007，45-75。 谷歌学者 数字图书馆 Hanus，M.功能逻辑程序的调用模式分析。 在 第十届ACM SIGPLAN声明性编程原理与实践国际会议记录。 ACM出版社，2008年，67-78。 谷歌学者 数字图书馆 Hanus，M.和Höppner，K.用Curry编程自动机器人。 理论计算机科学电子笔记 , 76, 2002. 谷歌学者 Hanus，M.和Huch，F.支持基于网络的学习的开放系统。 在 第12届函数和（约束）逻辑编程国际研讨会论文集 , 2003, 269--282. 谷歌学者 Hanus，M.和Kluß，C.用户界面的声明性编程。 在 第十一届声明性语言实践方面国际研讨会论文集。 施普林格LNCS 5418，2009年，16-30。 谷歌学者 数字图书馆 Hanus，M.，Ed.Curry：集成函数逻辑语言（版本0.8.2，2006）； http://www.curry-language.org/。 谷歌学者 Hussmann，H.非确定性代数规范和非流畅项重写。 逻辑程序设计杂志 , 1992, 237--255. 谷歌学者 数字图书馆 劳埃德。 J.用集成函数和逻辑语言编程。 J.功能和逻辑编程3 , 1 (1999), 1--49. 谷歌学者 López-Fraguas，F.和Sánchez-Hernández，J.TOY：多参数声明系统。 在 RTA’99会议记录。 斯普林格LNCS 163119999244--247。 谷歌学者 数字图书馆 Lux，W.实现对惰性函数逻辑语言的封装搜索。 在 第四届富士函数与逻辑编程国际研讨会论文集。 斯普林格LNCS 17221999100-113。 谷歌学者 数字图书馆 Milner，R.、Tofte，M.和Harper，R。 标准ML的定义。 麻省理工学院出版社，1990年。 谷歌学者 数字图书馆 冈崎，C。 纯功能数据结构。 剑桥大学出版社，1998年。 谷歌学者 数字图书馆 Peyton Jones，S.（编辑）。 Haskell 98语言与图书馆——修订报告。 剑桥大学出版社，2003年。 谷歌学者 美国雷迪，缩小功能语言的操作语义。 在 IEEE计算机科学逻辑国际研讨会论文集 （波士顿，1985），138--151。 谷歌学者 Sheard，T.使用mega缩小的类型级计算。 电子。 注释Theor。 计算。 科学。 174 , 7 (2007), 105--128. 谷歌学者 数字图书馆 Slagle，J.R.使用简化器、交换性和结合性为理论提供自动化理论证明。 美国临床医学杂志21 , 4 (1974), 622--642. 谷歌学者 数字图书馆 Smolka，G.Oz编程模型。 《今日计算机科学：最新趋势与发展》。 J.van Leeuwen（编辑）。 施普林格LNCS 1000，1995，324--343。 谷歌学者 Somogyi，Z。、Henderson，F。和Conway，T。Mercury的执行算法，一种高效的纯声明逻辑编程语言。 J.逻辑编程29 , 1--3 (1996), 17--64. 谷歌学者 交叉引用
建议
函数编程、面向对象编程和代数！ 14工作组：第十届ACM SIGPLAN通用编程研讨会会议记录 函数和面向对象（OO）抽象提供了编程的双重视图。 函数语言，如ML或Haskell，使用代数数据类型作为主要的结构抽象。 代数数据类型要求程序员考虑所有。。。
