乔治·卡林 CoLoSS：代数逻辑可满足性求解器。 （英语） Zbl 1347.68300号 Areces，Carlos（编辑）等人，《第五届模式方法研讨会论文集》（M4M5，2007年），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231，41-54（2009）。MSC公司：第68页第15页 03B35型 03B45 03B62号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{G.Calin}，电子。理论注释。计算。科学。231、41-54（2009年；Zbl 1347.68300） 全文： 内政部
约翰·杰林;皮革，肖恩;佩德罗·马加莱斯（José）;阿列克谢·罗德里格斯·雅库舍夫 Haskell中的泛型编程库。 （英语） Zbl 1263.68037号 Koopman，Pieter（编辑）等人，《高级函数编程》。第六国际学校，法新社2008年5月，荷兰Heijen。修订的讲座。柏林：施普林格出版社（ISBN 978-3-642-04651-3/pbk）。《计算机科学讲义》5832165-229（2009）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Jeuring}等人，Lect。注释计算。科学。5832、165--229（2009年；Zbl 1263.68037） 全文： 内政部
拉尔夫·欣泽;安德烈斯·洛赫 3D中的通用编程。 （英语） Zbl 1192.68138号 科学。计算。程序。 74，第8期，590-628（2009）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛R.Hinze｝和\textit｛A.Löh｝，科学。计算。程序。74，第8号，590--628（2009；Zbl 1192.68138） 全文： 内政部
安德烈亚斯·亚贝尔;拉尔夫·马提斯;塔尔莫乌斯塔卢 高阶和嵌套数据类型的迭代和层叠方案。 （英语） Zbl 1070.68093号 西奥。计算。科学。 333，编号1-2，3-66（2005）.MSC公司：68问题65 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人，Theor。计算。科学。333，编号1--2，3--66（2005；Zbl 1070.68093） 全文： 内政部
拉尔夫·拉梅尔;西蒙·佩顿·琼斯 放弃更多样板：反射、zip和通用类型转换。 （英语） Zbl 1323.68130号 2004年9月19日至21日，美国犹他州雪鸟市乌普萨拉ICFP'04第九届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 1-58113-905-5）。ACM SIGPLAN Notices 39，No.9，244-255（2004）。MSC公司：68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit｛R.Lämmel｝和\textit｛S.P.Jones｝，载于：第九届ACM SIGPLAN功能编程国际会议论文集，ICFP'04，美国犹他州雪鸟市乌普萨拉，2004年9月19-21日。纽约州纽约市：计算机协会（ACM）。244--255（2004年；Zbl 1323.68130） 全文： 内政部
乌尔夫诺雷尔;帕特里克·詹森 Haskell中的多类型编程。 （英语） Zbl 1108.68351号 Trinder，Phil（编辑）等人，《函数语言的实现》。2003年9月8日至11日，英国爱丁堡，第15届国际研讨会，IFL 2003。修订论文。柏林：施普林格出版社（ISBN 3-540-23727-5/pbk）。计算机科学课堂讲稿3145168-184（2004）。MSC公司：68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{U.Norell}和\textit{P.Jansson}，莱克特。注释计算。科学。3145168--184（2004年；Zbl 1108.68351） 全文： 内政部