×

找到22470个文档(结果1-100)

Laurent lafforgue之后的Langlands函数字段对应。 (英语) Zbl 1523.11206号

Mazur,Barry(编辑)等人,《数学的当前发展》。1999年,研讨会记录,美国马萨诸塞州剑桥,1999年。马萨诸塞州萨默维尔:国际出版社。115-132 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种非确定性的按需调用lambda演算。 (英语) Zbl 1428.68106号

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

类型错误语义中的内涵多态性。 (英语) Zbl 1428.68097号

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

折叠和展开程序语义。 (英语) Zbl 1428.68103号

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

被低估的事情展开了。 (英语) Zbl 1428.68099号

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

命令流–用于同步编程的一元组合器库。 (英语) Zbl 1428.68114号

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

Cayenne–一种具有依赖类型的语言。 (英语) Zbl 1428.68094号

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

带有子类型的类型推理框架。 (英语) Zbl 1428.68112号

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

多态语言中的语用子类型。 (英语) Zbl 1428.68110号

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

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

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

精确实数的懒惰计算。 (英语) Zbl 1428.68098号

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

毫无骨气、没有标签的G-machine,自然。 (英语) Zbl 1428.68109号

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

键入的跨模块编译。 (英语) Zbl 1428.68115号

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

将标准ML编译为Java字节码。 (英语) Zbl 1428.68096号

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

YALE:又一个基于交互网络的lambda评估器。 (英语) Zbl 1428.68107号

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

用可变函数编程。 (英语) Zbl 1428.68111号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。105-116 (1999).
MSC公司:68甲18 68问题65
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 1428.68117号

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

单数输入的缓和效果。 (英语) Zbl 1428.68105号

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

基于类型的共享分析,用于避免更新和优化。 (英语) Zbl 1428.68101号

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

高阶arity提升。 (英语) Zbl 1428.68102号

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

关于类型定向开箱的运行时复杂性。 (英语) Zbl 1428.68108号

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

简单机器人鲁棒准逻辑控制的计算实验。 (俄语) Zbl 1465.93073号

PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件