×

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

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

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

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

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

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

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

使用广义归纳类型的lambda项的单数表示。 (英语) 兹比尔0944.03011

Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第1683453-468页(1999年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型