×

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

依赖类型和程序等价性。 (英语) Zbl 1312.68062号

2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-479-9)。275-286(2010年)。
MSC公司:68号30 68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

实例链:没有重叠实例的类型类编程。 (英语) Zbl 1323.68141号

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

正则表达式游戏:函数珍珠。 (英语) Zbl 1323.68111号

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

重新思考超级编译。 (英语) Zbl 1323.68191号

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

编译和执行垃圾收集语言的认证框架。 (英语) Zbl 1323.68136号

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

Haskell中的规则形状多态并行数组。 (英语) Zbl 1323.68127号

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

高阶状态和控制效果对局部关系推理的影响。 (英语) Zbl 1323.68203号

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

2010年9月27日至29日,美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。 (英语) Zbl 1282.68047号

ACM SIGPLAN通知45,第9号。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-794-3)。x、 第387页。(2010).
MSC公司:68-06 68甲18 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过归纳和共归纳的类型可实现性提取程序。 (英语) Zbl 1244.03107号

Ralf Schindler(编辑),《证明理论的方法》。2008年7月17日至19日,沃尔夫拉姆·波勒(Wolfram Pohlers)退休之际,在德国穆斯特举行的座谈会和研讨会上,演讲人收集了论文。美因河畔法兰克福:Ontos Verlag(ISBN 978-3-86838-087-3/hbk)。Ontos数学逻辑2,157-182(2010)。
PDF格式BibTeX公司 XML格式引用

带有前提条件的二阶程序。 (英语) Zbl 1309.68035号

Siegler,Simon(编辑)等人,《验证、归纳、终止分析》。在克里斯托夫·沃尔特60岁生日之际,为他举行庆祝活动。柏林:施普林格出版社(ISBN 978-3-642-17171-0/pbk)。计算机科学课堂讲稿6463。人工智能课堂讲稿,129-143(2010)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在Eden中实现数据并行有理多残留算法。 (英语) Zbl 1290.68135号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2010年9月6日至12日,第十二届国际研讨会,中国社会科学院2010年,亚美尼亚察赫卡佐。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15273-3/pbk)。《计算机科学讲义》62441178-193(2010)。
MSC公司:68瓦30 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于遗传有限集、函数和类型的算术计算。 (英语) Zbl 1286.68063号

Cavalcanti,Ana(编辑)等人,《计算的理论方面——ICTAC 2010》。2010年9月1日至3日,巴西北里奥格兰德河纳塔尔举行的第七届国际学术讨论会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14807-1/pbk)。计算机科学课堂讲稿6255367-381(2010)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

算术和集合理论数据类型的统一形式描述。 (英语) Zbl 1286.68062号

Autexier,Serge(编辑)等人,《智能计算机数学》。2010年7月5日至10日,第十届国际会议,AISC 2010,第十七届研讨会,Calculemus 2010,第九届国际会议MKM 2010,法国巴黎。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14127-0/pbk)。计算机科学讲义6167。人工智能课堂讲稿,247-261(2010)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

哈斯克尔之前的哈斯克尔:库里对编程的贡献(1946-1950)。 (英语) Zbl 1290.68004号

Ferreira,Fernando(编辑)等人,《程序、证明、过程》。2010年6月30日至7月4日在葡萄牙亚速尔群岛德尔加达桥举行的第六届欧洲可计算性会议,CiE 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13961-1/pbk)。计算机科学课堂讲稿6158108-117(2010)。
MSC公司:68-03 01A60型 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

校对、程序、流程。 (英语) Zbl 1280.68077号

Ferreira,Fernando(编辑)等人,《程序、证明、过程》。2010年6月30日至7月4日在葡萄牙亚速尔群岛德尔加达桥举行的第六届欧洲可计算性会议,CiE 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13961-1/pbk)。计算机科学课堂讲稿6158,39-48(2010)。
MSC公司:68号30 35层03 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

使用概率条件逻辑进行学习和建模。 (英语) Zbl 1211.68314号

DISKI公司。论文en zur Künstlichen Intelligenz328.阿姆斯特丹:IOS出版社;海德堡:Akademische Verlagsgesellschaft Aka(ISBN 978-1-60750-098-8/pbk;978-3-89838-328-8/pbk)。xi,第223页。(2010).
PDF格式BibTeX公司 XML格式引用

通过高阶重写系统生成代码。 (英语) Zbl 1284.68131号

Blume,Matthias(编辑)等人,《函数和逻辑编程》。2010年4月19日至21日,第十届国际研讨会,FLOPS 2010,日本仙台。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12250-7/pbk)。计算机科学课堂讲稿6009,103-117(2010)。
MSC公司:68甲18 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于绑定时多态程序生成的无标记组合子。 (英语) Zbl 1284.68138号

Blume,Matthias(编辑)等人,《函数和逻辑编程》。2010年4月19日至21日,第十届国际研讨会,FLOPS 2010,日本仙台。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12250-7/pbk)。计算机科学课堂讲稿6009,87-102(2010)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

释放了Haskell类型约束。 (英语) Zbl 1284.68135号

Blume,Matthias(编辑)等人,《函数和逻辑编程》。2010年4月19日至21日,第十届国际研讨会,FLOPS 2010,日本仙台。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12250-7/pbk)。计算机科学课堂讲稿6009,56-71(2010)。
MSC公司:68甲18 68N20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者