保罗·哈达克;快，多尼亚 哈斯克尔音乐学校。从信号到交响乐。 （英语） 兹比尔1434.68007 剑桥：剑桥大学出版社（ISBN 978-1-108-41675-7/hbk；978-1-108-14186-1/电子书）。十六、383页。(2018).MSC公司：68-02 00A65号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Hudak}和\textit{D.Quick}，哈斯克尔音乐学校。从信号到交响乐。剑桥：剑桥大学出版社（2018；Zbl 1434.68007）
伯恩哈德·斯特芬;Rüthing，奥利弗;哈，迈克尔 高级信息学的数学基础。第1卷。归纳法。 （英语） Zbl 1395.68002号 查姆：施普林格（ISBN 978-3-319-68396-6/hbk；978-3-3169-68397-3/电子书）。xxvii，228页。(2018). 审核人：埃里克·马丁（悉尼） MSC公司：68-01 00A06号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Steffen}等人，《高级信息学的数学基础》。第1卷。归纳法。查姆：施普林格（2018；Zbl 1395.68002） 全文： 内政部
2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。 （英语） Zbl 1320.68008号 纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。xi，第437页。(2015).MSC公司：68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（2015；Zbl 1320.68008） 全文： 内政部
2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。 （英语） Zbl 1282.68034号 纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。xi，第686页。(2014).MSC公司：68-06 68甲15 00B25型 PDF格式BibTeX公司 XML格式引用 2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（2014；Zbl 1282.68034） 全文： 内政部
2013年9月25日至27日，美国马萨诸塞州波士顿，第18届ACM SIGPLAN功能编程国际会议记录，ICFP’13。 （英语） Zbl 1282.68050号 ACM SIGPLAN通知48，第9号。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2326-0）。xii，469页。(2013).MSC公司：68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 2013年9月25日至27日，美国马萨诸塞州波士顿，第18届ACM SIGPLAN函数编程国际会议记录，ICFP’13。纽约州纽约市：计算机协会（ACM）（2013；Zbl 1282.68050） 全文： 内政部
2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。 （英语） 兹比尔1319.03004 加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。xv，618页。(2012).MSC公司：03-06 03B70号 68-06 00B25型 PDF格式BibTeX公司 XML格式引用 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（2012；Zbl 1319.03004） 全文： 链接
何塞·佩德罗·马加莱斯;德哈斯，W.Bas 音乐和声的功能建模：一份经验报告。 （英语） Zbl 1323.68132号 2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN Notices 46，No.9，156-162（2011）。MSC公司：68甲18 00A65号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Magalháes}和\textit{W.B.de Haas}，摘自：第16届ACM SIGPLAN函数式编程国际会议论文集，2011年9月19日至21日，日本东京。纽约州纽约市：计算机协会（ACM）。156-162（2011；Zbl 1323.68132） 全文： 内政部
Horia F.波普。（编辑）;安塔尔·贝格（编辑） 第八届数学和计算机科学联合会议，MaCS 2010，科马尔诺，斯洛伐克，2010年7月14-17日。精选论文。 （英语） Zbl 1222.00037号 Győr：诺瓦达特（ISBN 978-963-9056-38-1/pbk）。第十五卷，第416页。(2011).MSC公司：00B25型 68-06 94-06 22-06 05-06 03-06 11-06 91-06 PDF格式BibTeX公司 XML格式引用 \textit{H.F.Pop}（编辑）和\textit{A.Bege}（编），第八届数学和计算机科学联合会议，MaCS 2010，斯洛伐克科马诺，2010年7月14-17日。精选论文。Győr:NOVADAT（2011；Zbl 1222.00037）
2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。 （英语） Zbl 1282.68047号 ACM SIGPLAN通知45，第9号。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-794-3）。x、 第387页。(2010).MSC公司：68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 第15届ACM SIGPLAN功能编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27日至29日。纽约州纽约市：计算机协会（ACM）（2010；Zbl 1282.68047） 全文： 内政部
2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。 （英语） Zbl 1282.68045号 ACM SIGPLAN通知43，第9号。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。xi，第409页。(2008).MSC公司：68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（2008；Zbl 1282.68045） 全文： 内政部
彼得·塞林格（编辑） 第四届量子编程语言国际研讨会论文集（QPL 2006），英国牛津，2006年7月17日至19日。 （英语） Zbl 1276.68031号 理论计算机科学电子笔记210.阿姆斯特丹：爱思唯尔。152页。，仅限电子版（2008年）。MSC公司：68-06 68甲15 81页68 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Selinger}（编辑），第四届量子编程语言国际研讨会论文集（QPL 2006），英国牛津，2006年7月17日至19日。阿姆斯特丹：爱思唯尔（2008；Zbl 1276.68031） 全文： 链接
2007年10月1日至3日在德国弗莱堡举行的第十二届ACM SIGPLAN功能编程国际会议记录，ICFP'07。 （英语） Zbl 1282.68044号 ACM SIGPLAN通知42，第9号。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-815-2）。viii，第338页。(2007).MSC公司：68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 2007年10月1日至3日在德国弗莱堡举行的第十二届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（2007；Zbl 1282.68044） 全文： 内政部
路易斯·弗拉瓜，弗朗西斯科·J。（编辑） 功能和（约束）逻辑编程第15次研讨会论文集（WFLP 2006），西班牙马德里，2006年11月16日至17日。 （英语） Zbl 1275.68023号 理论计算机科学电子笔记177.阿姆斯特丹：爱思唯尔。第285页。，仅电子版（2007年）。MSC公司：68-06 68N17号 68甲18 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.J.López Fraguas}（编辑），第十五届函数和（约束）逻辑编程研讨会论文集（WFLP 2006），西班牙马德里，2006年11月16-17日。阿姆斯特丹：爱思唯尔（2007年；兹bl 1275.68023） 全文： 链接
阿隆·斯塔姆（编辑）;Xi，宏伟（编辑） 编程语言程序符合程序验证（PLPV 2006），西雅图，华盛顿州，美国，2006年8月21日。 （英语） Zbl 1273.68046号 理论计算机科学电子笔记174，第7号。阿姆斯特丹：爱思唯尔。147页。，仅电子版（2007年）。MSC公司：68-06 68甲15 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Stump}（ed.）和\textit{H.Xi}（edi.），编程语言程序符合程序验证（PLPV 2006），西雅图，华盛顿州，美国，2006年8月21日。阿姆斯特丹：爱思唯尔（2007；Zbl 1273.68046） 全文： 链接
彼得·塞斯托夫特（编辑） 编程语言和系统。2006年3月27日至28日在奥地利维也纳举行的第15届欧洲编程研讨会（ESOP 2006），是欧洲软件理论与实践联合会议的一部分。诉讼程序。 （英语） Zbl 1103.68010号 计算机科学课堂讲稿3924.柏林：施普林格出版社（ISBN 3-540-33095-X/pbk）。xii，第343页。(2006).MSC公司：68-06 68牛顿 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Sestoft}（编辑），编程语言和系统。2006年3月27日至28日在奥地利维也纳举行的第15届欧洲编程研讨会（ESOP 2006），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（2006；Zbl 1103.68010） 全文： 内政部
2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。 （英语） Zbl 1282.68042号 ACM SIGPLAN公告40，第9号。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-064-7）。x、 第331页。(2005).MSC公司：68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（2005；Zbl 1282.68042） 全文： 内政部
菲尔·特林德（编辑）;格雷格·迈克尔森（编辑）;里卡多·佩纳（编辑） 函数语言的实现。2003年9月8日至11日，英国爱丁堡，第15届国际研讨会，IFL 2003。修订论文。 （英语） Zbl 1056.68017号 计算机科学课堂讲稿3145.柏林：施普林格出版社（ISBN 3-540-23727-5/pbk）。ix，185页。（2004年）。MSC公司：68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Trinder}（ed.）等人，《函数语言的实现》。2003年9月8日至11日在英国爱丁堡举行的第15届国际研讨会，IFL 2003。修订论文。柏林：施普林格出版社（2004；Zbl 1056.68017） 全文： 内政部
德克斯特·科赞（编辑） 程序构造的数学。2004年7月12日至14日在英国苏格兰斯特林举行的2004年MPC第七届国际会议。诉讼程序。 （英语） 兹比尔1053.68005 计算机科学课堂讲稿3125.柏林：施普林格出版社（ISBN 3-540-22380-0/pbk）。x、 401页。（2004年）。MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}（编辑），程序构造的数学。2004年7月12日至14日在英国苏格兰斯特林举行的2004年MPC第七届国际会议。诉讼程序。柏林：施普林格出版社（2004；Zbl 1053.68005） 全文： 内政部
第八届ACM SIGPLAN功能编程国际会议记录，ICFP'03，乌普萨拉，瑞典，2003年8月25-29日。 （英语） Zbl 1282.68040号 ACM SIGPLAN通告38，第9号。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-756-7）。viii，304页。(2003).MSC公司：68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 第八届ACM SIGPLAN函数编程国际会议记录，ICFP'03，乌普萨拉，瑞典，2003年8月25-29日。纽约州纽约市：计算机协会（ACM）（2003；Zbl 1282.68040） 全文： 内政部
Atsushi Ohori（编辑） 编程语言和系统。2003年11月27日至29日，中国北京，APLAS 2003第一届亚洲研讨会。诉讼程序。 （英语） Zbl 1029.00062号 计算机科学课堂讲稿. 2895. 柏林：斯普林格。xiii，427页（2003年）。MSC公司：00B25型 68-06 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Ohori}（编辑），编程语言和系统。第一届亚洲研讨会，2003年APLAS，2003年11月27日至29日，中国北京。诉讼程序。柏林：施普林格（2003年；Zbl 1029.00062） 全文： 内政部 链接
格雷厄姆·赫顿（编辑） 2000年ACM SIGPLAN Haskell研讨会（PLI 2000卫星活动），加拿大蒙特利尔，2000年9月17日。诉讼程序。 （英语） Zbl 1262.68013号 理论计算机科学电子笔记41号，第1条。阿姆斯特丹：爱思唯尔。第119页。，仅电子版（2001）。MSC公司：68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton}（编辑），2000年ACM SIGPLAN Haskell研讨会（PLI 2000卫星活动），加拿大蒙特利尔，2000年9月17日。诉讼程序。阿姆斯特丹：Elsevier（2001；Zbl 1262.68013） 全文： 链接
凯文·哈蒙德（编辑）;格雷格·迈克尔森（编辑） 并行函数编程的研究方向。 （英语） Zbl 0940.68022号 伦敦：斯普林格。xxvi，502页（1999年）。 审核人：L.Brim（布尔诺） MSC公司：68甲18 68-02 68-06 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.Hammond}（编辑）和\textit{G.Michaelson}（编），并行函数编程研究方向。伦敦：Springer（1999；Zbl 0940.68022）
科林·伦西曼（编辑）;醒醒，大卫（编辑） 函数编程的应用。 （英语） Zbl 0841.68023号 伦敦：伦敦大学出版社。xv，240页（1995年）。MSC公司：68号01 00B15号机组 68-02 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Runciman}（编辑）和\textit{D.Wakeling}（编），函数编程的应用。伦敦：伦敦大学出版社（1995；Zbl 0841.68023）