×

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

与类关联的类型。 (英语) Zbl 1369.68089号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2005年1月12日至14日,美国加利福尼亚州长滩,POPL'05。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-830-X)。1-13 (2005).
MSC公司:68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一元增强和广义捷径融合。 (英语) Zbl 1302.68079号

2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,294-305(2005)。
MSC公司:第68页第19页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关联的类型同义词。 (英语) Zbl 1302.68055号

2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,241-253(2005)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用class:extensiblegenericalfunctions废弃样板文件。 (英语) Zbl 1302.68062号

2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,204-215(2005)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

回溯、交织和终止monad转换器(功能珍珠)。 (英语) Zbl 1302.68061号

2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,192-203(2005)。
MSC公司:68甲18 68N17号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

MLF的合格类型。 (英语) Zbl 1302.68063号

2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,144-155(2005)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Haskell中操作系统构建的原则方法。 (英语) Zbl 1302.68084号

2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,116-128(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用广义代数数据类型的函数反应式规划的动态优化。 (英语) Zbl 1302.68189号

2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,54-65(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。 (英语) Zbl 1282.68042号

ACM SIGPLAN通知40,第9号。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。x、 第331页。(2005).
MSC公司:68-06 68甲18 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Haskell(白皮书)中的可编程重写策略。 (英语) Zbl 1272.68190号

Antoy,S.(ed.)等人,《第四届改写和编程简化策略国际研讨会论文集》(WRS 2004),德国亚琛,2004年6月2日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》124,第2期,101-112页(2005年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

功能程序的简单、有效的代码大小缩减。 (英语) 兹比尔1119.68336

Grelck,C.(编辑)等人,《函数语言的实现和应用》。2004年9月8日至10日在德国吕贝克举行的IFL 2004第16届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-26094-3/pbk)。《计算机科学讲义》3474211-225(2005)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于源代码的跟踪探索。 (英语) Zbl 1119.68327号

Grelck,C.(编辑)等人,《函数语言的实现和应用》。2004年9月8日至10日在德国吕贝克举行的IFL 2004第16届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-26094-3/pbk)。计算机科学课堂讲稿3474126-141(2005)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

在Haskell中规范调试过程。 (英语) Zbl 1169.68359号

Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722211-226(2005)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

碱性决策树的泛化行为。 (英语) Zbl 1134.68376号

Kramer,Stefan(编辑)等人,《归纳逻辑编程》。第15届国际会议,ILP 2005,德国波恩,2005年8月10日至13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28177-0/pbk)。计算机科学课堂讲稿3625。人工智能课堂讲稿,246-263(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

类型定向并发。 (英语) Zbl 1134.68435号

Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653,6-20(2005)。
MSC公司:68问题85 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用属性语法键入Haskell。 (英语) 兹比尔1158.68354

Vene,Varmo(编辑)等人,《高级功能编程》。2004年8月14日至21日,爱沙尼亚塔尔图,AFP 2004第五国际学校。修订的讲座。柏林:施普林格出版社(ISBN 3-540-28540-7/pbk)。计算机科学课堂讲稿3622,1-72(2005)。
MSC公司:68甲18 68甲15 68N20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多态递归的简单语义。 (英语) Zbl 1159.68369号

Yi,Kwangkeun(编辑),《编程语言和系统》。第三届亚洲研讨会,2005年APLAS,2005年11月2日至5日,日本筑波。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29735-9/pbk)。计算机科学课堂讲稿3780,37-51(2005)。
MSC公司:68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

约束处理规则的分析、优化和扩展:博士总结。 (英语) Zbl 1165.68346号

Gabbrielli,Maurizio(编辑)等人,《逻辑编程》。2005年10月2日至5日在西班牙西奇举行的第21届国际会议,ICLP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29208-X/pbk)。计算机科学课堂讲稿3668,435-436(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

依赖型理论中的交互式程序和弱最终余代数。 (英语) Zbl 1102.03034号

Crosilla,Laura(编辑)等人,《从集合和类型到拓扑和分析》。构建数学的实用基础。基于研讨会,意大利威尼斯,2003年5月12日至16日。牛津:牛津大学出版社(ISBN 0-19-856651-4/hbk)。《牛津逻辑指南》48,115-136(2005)。
PDF格式BibTeX公司 XML格式引用

函数式语言中具有底部的流。 (英语) Zbl 1108.68365号

Sagiv,Mooly(编辑),《编程语言和系统》。2005年4月4日至8日在英国爱丁堡举行的第14届欧洲编程研讨会(ESOP 2005),是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25435-8/pbk)。计算机科学课堂讲稿3444201-216(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者