停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2004年第7届MPC：英国苏格兰斯特林

>主页 >会议和研讨会 >MPC公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/2004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/2004
德克斯特·科赞,卡伦·桑克兰:
《程序构建数学》，第七届国际会议，MPC 2004，英国苏格兰斯特林，2004年7月12日至14日，会议记录。计算机科学课堂讲稿3125,施普林格 2004，国际标准图书编号3-540-22380-0
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/Nelson04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/Nelson04网址
格雷格·纳尔逊:
Java扩展静态检查。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/AbbottAGM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/AbbottAGM04
迈克尔·戈登·阿伯特,托尔斯滕·阿滕柯奇,尼尔·加尼,康诺·麦克布莱德:
构造商类型的多态程序。 2-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/AlimarineS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/AlimarineS04
Artem Alimarine公司,Sjaak Smetsers公司:
优化泛型函数。 16-31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/AtanassowJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/AtanassowJ04
弗兰克·阿塔纳索夫,约翰·杰林:
一般地推断类型同构。 32-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/BarnettN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/BarnettN04
巴纳特,大卫·A·诺曼:
朋友需要更多：在共享状态上维护不变量。 54-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/DanielssonJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/DanielssonJ04
尼尔斯·安德斯·丹尼尔森,帕特里克·詹森:
追根溯源：部分和无限值存在下程序验证的案例研究。 85-109
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/FernandesD04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/FrenderandesD04
Therrezinha Fernandes公司,朱尔斯·德沙奈斯:
用Kleene代数描述Gen/Kill静态分析技术。 110-128
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/Furusawa04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/Furusawa04网址
古泽仁:
带测试的Kleene代数的自由构造。 129-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/吉本斯04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/吉本斯04
杰里米·吉本斯:
流媒体表示转换器。 142-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/Hehner04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/Hehner04
埃里克·C·R·海纳:
概率预测规划。 169-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/Hinze04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/Hinze04
拉尔夫·欣泽:
扫描代数。 186-210
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/HuttonW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/HuttonW04
格雷厄姆·赫顿,乔尔·莱特:
正确编译异常。 211-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/MartinCR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/MartinCR04
克莱尔·马丁,莎朗·柯蒂斯,英格丽德·雷维茨基:
非决定论建模。 228-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/Moller公司04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/Moller04网站
伯恩哈德·莫勒:
Lazy Kleene代数。 252-273
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/Morris04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/Morris04网站
约瑟夫·莫里斯:
具有无限的恶魔和天使不确定性的扩充类型。 274-288
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/MuHT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/MuHT04
申成木,镇江湖,Masato Takeichi:
用于可逆计算的注入语言。 289-313
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/NorellJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/NorellJ04
乌尔夫·诺雷尔,帕特里克·詹森:
在模板Haskell中原型化通用编程。 314-333
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/OliveiraR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/OliveiraR04
何塞·努诺·奥利维拉,César de Jesus Pereira Cunha罗德里格斯:
转换关系：从Maybe函数到Hash表。 334-356
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/Schieder04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/Schieder04网站
比吉特·希德:
指针理论和没有地址和堆的最弱先决条件。 357-380
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/TangW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/TangW04
新贝汤,吉姆·伍德科克:
旅行流程。 381-399

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。