1 最优非确定性函数逻辑计算 代数与逻辑程序设计 1997 海德堡 施普林格 16 30 谷歌学者 
2 需要的缩小战略 美国临床医学杂志 2000 47 4 776 822 1866177 10.1145/347476.347484 谷歌学者 数字图书馆 
三。 功能逻辑设计模式 功能和逻辑编程 2002 海德堡 施普林格 67 87 谷歌学者 4. 具有函数模式的声明性编程 基于逻辑的程序合成与转换 2006 海德堡 施普林格 6 22 谷歌学者 5 功能逻辑程序中的重叠规则和逻辑变量 逻辑编程 2006 海德堡 施普林格 87 101 谷歌学者 数字图书馆 6 Antoy，S.，Hanus，M.：为函数逻辑编程设置函数。 摘自：第11届ACM SIGPLAN国际声明性编程原则与实践会议记录（PPDP 2009），第73-82页。 ACM出版社（2009） 谷歌学者 7 功能逻辑编程 Commun公司。 ACM公司 2010 53 4 74 85 10.1145/1721654.1721675 谷歌学者 数字图书馆 8 新的功能逻辑设计模式 函数和约束逻辑编程 2011 海德堡 施普林格 19 34 谷歌学者 9. Antoy，S.，Hanus，M.：咖喱没有成功。 摘自：第23届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2014）。 CEUR研讨会论文集，第1335卷，第140-154页。 CEUR-WS.org（2014） 谷歌学者 10. 将布尔等式转换为约束 形式方面计算。 2017 29 三 475 494 3646507 2007年10月10日/00165-016-0399-6 1362.68034 谷歌学者 数字图书馆 11 使用Haskell的函数编程简介 1998 2 恩格尔伍德克利夫斯 普伦蒂斯·霍尔 谷歌学者 数字图书馆 12 KiCS2：从Curry到Haskell的新编译器 函数和约束逻辑编程 2011 海德堡 施普林格 1 18 谷歌学者 13 Damas，L.，Milner，R.：功能程序的主要类型模式。 摘自：第九届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集（POPL 1982），第207-212页。 ACM，纽约（1982） 谷歌学者 14 额外的变量可以从功能逻辑程序中消除 电子。 注释Theor。 计算。 科学。 2007 188 三 19 2016年10月10日/j.entcs.2006.05.049 谷歌学者 数字图书馆 15 逻辑程序设计、函数、关系和方程 1986 恩格尔伍德克利夫斯 普伦蒂斯·霍尔 谷歌学者 数字图书馆 16 咖喱中不合格约束的建议 电子。 注释Theor。 计算。 科学。 2007 177 269 285 2016年10月10日/j.entcs.2007.01.14 谷歌学者 数字图书馆 17. 通用E-统一的完整转换集 理论。 计算。 科学。 1989 67 203 260 1030751 10.1016/0304-3975(89)90004-2 谷歌学者 数字图书馆 18 内核叶：一种逻辑加函数语言 J.计算。 系统。 科学。 1991 42 2 139 185 10.1016/0022-0000（91）90009-T 谷歌学者 数字图书馆 19. Goguen，J.A.，Meseguer，J.：EQLOG：逻辑编程的等式、类型和通用模块。 摘自：DeGroot，D.，Lindstrom，G.（编辑）《逻辑编程、函数、关系和方程》，第295-363页。 普伦蒂斯·霍尔（1986） 谷歌学者 20 一种基于重写逻辑的声明式编程方法 J.日志。 程序。 1999 40 47 87 1688561 10.1016/S0743-1066（98）10029-8 谷歌学者 交叉引用 
21 将函数集成到逻辑编程中：从理论到实践 J.日志。 程序。 1994 19&20 583 628 1279935 10.1016/0743-1066(94)90034-5 谷歌学者 22 Hanus，M.：函数和逻辑编程的统一计算模型。 摘自：第24届ACM程序设计语言原则研讨会论文集（巴黎），第80–93页（1997年） 谷歌学者 23 Hanus，M.：半结构化web数据的声明性处理。 参见：第27届逻辑程序设计国际会议技术通信，第11卷，第198-208页。 莱布尼茨国际信息学论文集（LIPIcs）（2011） 谷歌学者 24 函数逻辑编程：从理论到Curry 编程逻辑 2013 海德堡 施普林格 123 168 谷歌学者 25 CurryCheck:检查Curry程序的属性 基于逻辑的程序合成与转换 2017 查姆 施普林格 222 239 谷歌学者 26 Hanus，M.等人：PAKCS：波特兰-亚琛-基尔咖喱体系（2018）。 http://www.informatik.uni-kiel.de/ ~块/ 谷歌学者 27 Hanus，M.（编辑）：Curry：一种集成函数逻辑语言（版本0.9.0）（2016年）。 http://www.curry-language.org 谷歌学者 28 组合逻辑中对象的主要类型模式 事务处理。 美国数学。 Soc公司。 1969 146 29 60 2539050196.01501 谷歌学者 29 Huet，G.，Lévy，J.-J.：正交重写系统中的计算。 收录于：Lassez，J.-L.，Plotkin，G.（编辑）《计算逻辑：纪念艾伦·罗宾逊的论文》，第395-443页。 麻省理工学院出版社（1991） 谷歌学者 30. 休斯，J.：为什么函数编程很重要。 收录：Turner，D.A.（编辑），《函数编程研究课题》，第17-42页。 艾迪森·韦斯利（1990） 谷歌学者 31 Haskell编程 2016 2 剑桥 剑桥大学出版社 谷歌学者 数字图书馆 32 Lämmel，R.，Peyton Jones，S.L.：废弃样板：泛型编程的实用设计模式。 在：2003年ACM SIGPLAN语言设计与实现类型国际研讨会论文集（TLDI 2003），第26-37页。 ACM出版社（2003） 谷歌学者 33 Lux，W.：给Curry添加Haskell类型的重载。 单位：25。 GI-Fachgruppe Programmiersprachen undRechenkonzepte研讨会，德国基尔，第67-76页（2008年）。 技术报告0811，基尔加州大学富尔信息研究所 谷歌学者 34 Mehner，S.：关于有效声明性程序的推理工具。 波恩大学博士论文（2015年） 谷歌学者 35 Mehner，S.、Seidel，D.、Straßburger，L.、Voigtländer，J.：函数逻辑语言的参数性和自由定理证明。 摘自：第16届国际声明性编程原理与实践研讨会论文集（PPDP 2014），第19-30页。 ACM出版社（2014） 谷歌学者 36 用函数和谓词进行逻辑编程：巴别塔语言 J.日志。 程序。 1992 12 191 223 10.1016/0743-1066（92）90024-W 谷歌学者 数字图书馆 37 O'Donnell，M.J.：等式逻辑编程。 摘自：Gabbay，D.M.、Hogger，C.J.、Robinson，J.A.（编辑）《人工智能和逻辑编程逻辑手册》，第69–161页。 牛津大学出版社（1998） 谷歌学者 38 动物农场：童话 1945 伦敦 塞克和瓦尔堡 谷歌学者 39. Haskell 98语言和图书馆——修订报告 2003 剑桥 剑桥大学出版社 谷歌学者 40 美国雷迪：缩小功能语言的操作语义。 摘自：《IEEE逻辑编程国际研讨会论文集》，波士顿，第138-151页（1985） 谷歌学者 41 Haskell-函数式编程技巧 1999 2 波士顿 出版商 谷歌学者 42 Wadler，P.，Blott，S.：如何使特殊多态性不那么特殊。 摘自：《1989年POPL会议录》，第60-76页（1989） 谷歌学者
建议
集合论中的Curry-Howard对应 LICS’00：第15届IEEE计算机科学逻辑年会论文集 本文在经典逻辑[10]的框架内，为Zermelo-Fränkel集理论提出了一个类型lambda-calculus系统。 证明和程序之间的Curry-Howard对应最初是通过简单类型系统发现的。。。
