×

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

通过一级延续部分中止事务。 (英语) Zbl 1360.68333号

第20届ACM SIGPLAN功能编程国际会议论文集,ICFP’15,加拿大温哥华,2015年9月1日至3日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3669-7)。230-242 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

事务性事件的公平性。 (英语) Zbl 1348.68034号

安迪·吉尔(编辑)等人,《函数语言的实现和应用》。2011年10月3日至5日,美国堪萨斯州劳伦斯市,第23届国际研讨会,IFL 2011。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-34406-0/pbk;978-3-442-34407-7/电子书)。计算机科学讲义7257,17-34(2012)。
MSC公司:68甲19
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

懒惰的树分裂。 (英语) 兹比尔1323.68063

2010年9月27日至29日,美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-794-3)。ACM SIGPLAN Notices 45,No.9,93-104(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

事务性事件。 (英语) Zbl 1321.68149号

2006年9月18日至20日,美国俄勒冈州波特兰市2006年ICFP第11届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-309-3)。ACM SIGPLAN通知41,第9号,124-135(2006)。
MSC公司:68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段