罗斯·帕特森 箭头的新符号。 （英语） Zbl 1323.68147号 2001年9月3日至5日在意大利佛罗伦萨举行的第六届ACM SIGPLAN功能编程国际会议记录，ICFP'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-415-0）。ACM SIGPLAN通知36，第10号，229-240（2001）。 引用于17文件 MSC公司： 68甲18 函数编程和lambda演算 18立方厘米 单子（=标准结构，三元组或三元组），单子代数，单子的同调函子和派生函子 18日第15天 闭范畴（闭单胞和笛卡尔闭范畴等） 软件：露西德;酯类;软糖;哈斯克尔;卢斯特 PDF格式BibTeX公司 XML格式引用 \textit{R.Paterson}，in：第六届ACM SIGPLAN函数编程国际会议论文集，ICFP'01，意大利佛罗伦萨，2001年9月3--5日。纽约州纽约市：计算机协会（ACM）。229--240（2001年；Zbl 1323.68147） 全文： 内政部