×

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

计算机程序的功能区分。 (英语) Zbl 1428.68104号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。195-203 (1999).
MSC公司:68甲18 65天25分
PDF格式BibTeX公司 XML格式引用
全文: 内政部

核心福吉兹理论。 (英语) Zbl 1428.68116号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。75-85 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不精确的例外,共同归纳。 (英语) Zbl 0958.68040号

安德鲁·戈登(编辑)等人,《HOOTS’99》。语义学中的高阶操作技术。法国巴黎,1999年9月30日和10月1日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。26,20 p.,仅电子版(1999年)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前3名

主字段

全部的 前3名

软件