×

找到2个文档(结果1-2)

推导回溯单子变压器。 (英语) Zbl 1321.68195号

2000年9月18日至21日,加拿大蒙特利尔,ICFP'00,第五届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机机械协会(ACM)(ISBN 1-58113-202-6)。ACM SIGPLAN通告35,第9号,186-197(2000)。
MSC公司:68号30 68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

主字段