1 需要的缩小战略 J.ACM公司 2000 47 4 776 822 1866177 10.1145/347476.347484 谷歌学者 
数字图书馆 
2 功能逻辑编程 Commun公司。 ACM公司 2010 53 4 74 85 10.1145/1721654.1721675 谷歌学者 数字图书馆 三。 使用（CIAO-）Prolog和PiLLoW库的分布式WWW编程 理论实践。 日志。 程序。 2001 1 三 251 282 10.1017/S14710684010117X号 谷歌学者 数字图书馆 4 链接：没有层的web编程 组件和对象的形式化方法 2007 海德堡 施普林格 266 296 10.1007/978-3-540-74792-5_12 谷歌学者 数字图书馆 5 Ekblad，A.，Claessen，K.：用于类型安全的web应用程序的无缝、以客户端为中心的编程模型。 摘自：2014年ACM SIGPLAN Haskell研讨会论文集，第79-89页。 ACM出版社（2014） 谷歌学者 6 curry中的高级服务器端web脚本 声明语言的实用方面 2001 海德堡 施普林格 76 92 10.1007/3-540-45241-9_6 谷歌学者 7 Hanus，M.：面向类型的web用户界面构建。 摘自：第八届ACM SIGPLAN国际声明性编程原则与实践会议记录（PPDP 2006），第27–38页。 ACM出版社（2006） 谷歌学者 8 Hanus，M.：将声明性编程应用于网络：将curry转换为JavaScript。 摘自：第九届ACM SIGPLAN国际声明性编程原则与实践会议记录（PPDP 2007），第155-166页。 ACM出版社（2007） 谷歌学者 9 函数逻辑编程：从理论到咖喱 编程逻辑 2013 海德堡 施普林格 123 168 10.1007/978-3-642-37651-1_6 1383.68017 谷歌学者 10 用户界面的声明性编程 声明语言的实用方面 2008 海德堡 施普林格 16 30 10.1007/978-3-540-92995-6_2 谷歌学者 数字图书馆 11 一种基于ER的声明式web编程框架 理论实践。 日志。 程序。 2014 14 三 269 291 10.1017/S1471068412000385 谷歌学者 交叉引用 
12 Hanus，M.，Krone，J.：SQL与curry的典型集成。 摘自：《第24届函数和（约束）逻辑编程国际研讨会论文集》，《理论计算机科学电子论文集》第234卷，第104-119页。 开放出版协会（2017） 谷歌学者 13 Hanus，M.（编辑）：Curry：一种集成函数逻辑语言（版本0.9.0）（2016年）。 网址：http://www.curry-lang.org 谷歌学者 14 Huseby，S.H.：《天真的代码：网络程序员的安全唤醒》。 威利（2003） 谷歌学者 15 PLT方案web服务器的实现和使用 高。 订单符号。 计算。 2007 20 4 431 460 10.1007/s10990-007-9008-y 谷歌学者 数字图书馆 16 Ladd，D.A.，Ramming，J.C.：网络编程：一种面向应用程序的超媒体服务编程语言。 万维网杂志。 1 (1) (1996) 谷歌学者 17 Haskell中的服务器端web脚本 J.功能。 程序。 2000 10 1 1 18 10.1017/S095679689003561 谷歌学者 数字图书馆 18 Peyton Jones，S.（编辑）Haskell 98语言和图书馆——修订报告。 剑桥大学出版社（2003） 谷歌学者 19 iData for the world wide web–编程互联网络表单 功能和逻辑编程 2006 海德堡 施普林格 242 258 10.1007/11737414_17 谷歌学者 数字图书馆 20 Sandholm，A.，Schwartzbach，M.I.：动态web文档的类型系统。 摘自：第27届ACM编程语言原理研讨会论文集，第290-301页（2000） 谷歌学者 21 Haskell中HTML和XML文档的类型化表示 J.功能。 程序。 2002 12 4–5 435 468 1919345 10.1017/S095679680204392 谷歌学者 数字图书馆 22 WASH/CGI：带有会话和类型化合成表单的服务器端web脚本 声明语言的实用方面 2002 海德堡 施普林格 192 208 10.1007/3-540-45587-6_13 谷歌学者 交叉引用 23 WASH服务器页面 功能和逻辑编程 2006 海德堡 施普林格 277 293 10.1007/11737414_19 谷歌学者 数字图书馆 24 如何声明命令 ACM计算。 Surv公司。 1997 29 三 240 263 10.1145/262009.262011 谷歌学者 数字图书馆 25 Wadler，P.，Blott，S.：如何使特殊多态性不那么特殊。 摘自：《1989年POPL会议录》，第60-76页（1989） 谷歌学者 26 SWI Prolog和网络 理论实践。 日志。 程序。 2008 8 三 363 392 2416612 10.1017/S1471068407003237 谷歌学者 数字图书馆
建议
Haskell中的服务器端web脚本 用于在web服务器上生成动态文档的公共网关接口（CGI）给程序员带来了很多意外的复杂性。 本文中记录的Haskell/CGI库通过使用常识“设计……”来隐藏所有这些不愉快。。。
