奥列格·基塞利约夫;Shan、Chung-chieh;丹尼尔·弗里德曼（Daniel P.Friedman）。;阿穆尔·萨布里 回溯、交织和终止monad转换器（功能珍珠）。 （英语） Zbl 1302.68061号 2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-064-7）。ACM SIGPLAN Notices 40，No.9，192-203（2005）。 引用于11文件 理学硕士： 第68页第18页 函数编程和lambda演算 68N17号 逻辑编程 关键词：哈斯克尔;序言;延续;控制分隔符;逻辑程序设计;溪流 PDF格式BibTeX公司 XML格式引用 \textit{O.Kiselyov}等人，in：第十届ACM SIGPLAN函数式编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机协会（ACM）。192-203（2005；Zbl 1302.68061） 全文： 内政部