×
奥列格·基塞利约夫;Shan、Chung-chieh;丹尼尔·弗里德曼（Daniel P.Friedman）。;阿穆尔·萨布里

回溯、交错和端接单声道变压器（功能珍珠）。 （英语） 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文件

MSC公司：

68甲18 函数编程和lambda演算
68N17号 逻辑编程

关键词：

哈斯克尔;Prolog公司;延续;控制分隔符;逻辑程序设计;溪流
PDF格式BibTeX公司 XML格式引用
\textit{O.Kiselyov}等人，in：第十届ACM SIGPLAN函数式编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机协会（ACM）。192-203（2005；Zbl 1302.68061）
全文： 内政部