停止战争！

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

对于科学家：

默认搜索操作

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

问别人

阿列克桑达尔·纳内夫斯基

>主页 >珀森斯

人员信息

隶属关系： 西班牙马德里Edificio IMDEA软件公司
隶属关系（前）： 哈佛大学，剑桥，马萨诸塞州，美国
隶属关系（前）： 美国宾夕法尼亚州匹兹堡卡内基梅隆大学

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/多明格斯N23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/DominguezN23网址
杰苏斯·多明格斯,阿列克桑达尔·纳内夫斯基:
时间戳堆栈的声明性线性化证明的可见性和可分性。 CONCUR公司 2023:30:1-30:16
[i13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2307-04653
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-04653
杰苏斯·多明格斯,阿列克桑达尔·纳内夫斯基:
基于描述符的并发帮助算法的声明性线性化证明。 CoRR公司 abs/2307.04653(2023)
[i12]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/corr/abs-2307-04720
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-04720
杰苏斯·多明格斯,阿列克桑达尔·纳内夫斯基:
时间戳堆栈的声明性线性化证明的可见性和可分性：扩展版本。 CoRR公司 abs/2307.04720(2023)
2022
[公元14年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/pacmpl/OhmanN22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/OhmanN22
约阿金·赫曼,阿列克桑达尔·纳内夫斯基:
并发快照算法的可见性推理。程序。ACM计划。语言。 6(POPL公司):1-30(2022)
2021
[j13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/pacmpl/ZyuzinN21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/ZyuzinN21
尼基塔·久津,阿列克桑达尔·纳内夫斯基:
代数效果和处理程序的上下文模式类型。程序。ACM计划。语言。 5(ICFP公司):1-29(2021)
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/FarkaN0DF21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/FarkaN0DF21
弗兰蒂斯克·法卡,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉,德比安科,伊格纳西奥·法布雷加斯:
并发分离逻辑的代数抽象。程序。ACM计划。语言。 5(POPL公司):1-32(2021)
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2103-02976
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2103-02976
尼基塔·久津,阿列克桑达尔·纳内夫斯基:
代数效果和处理程序的上下文模式类型。 CoRR公司腹肌/2103.02976(2021)
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-210-02769
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-210-02769
约阿金·赫曼,阿列克桑达尔·纳内夫斯基:
并发快照算法的可见性推理。 CoRR公司 abs/2110.02769(2021)
2020
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/FeldmanKE0NRS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/FeldmanKE0NRS20
约塔姆·M·Y·费尔德曼,阿特姆·库扎,康斯坦丁·埃纳,亚当-莫里森,阿列克桑达尔·纳内夫斯基,诺姆·里涅茨基,沙伦·肖姆:
证明高并发遍历是正确的。程序。ACM计划。语言。 4(OOPSLA公司):128:1-128:29(2020)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2010-00911
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2010-00911
约塔姆·M·Y·费尔德曼,阿特姆·库扎,康斯坦丁·埃纳,亚当-莫里森,阿列克桑达尔·纳内夫斯基,诺姆·里涅茨基,沙伦·肖姆:
证明高并发遍历正确。 CoRR公司 abs/2010.00911(2020)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2010-12686
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2010-12686
弗兰提塞克·法尔卡,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉,德比安科,伊格纳西奥·法布雷加斯:
关于并发分离逻辑的代数抽象。 CoRR公司 abs/2010.12686(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/Nanevski0DF19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/Naevski0DF19
阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉,德比安科,伊格纳西奥·法布雷加斯:
在分离逻辑中指定并发程序：形态和模拟。程序。ACM计划。语言。三(OOPSLA公司):161:1-161:30(2019)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1904-07136
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1904-07136
阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉,德比安科,伊格纳西奥·法布雷加斯:
在分离逻辑中指定并发程序：形态和模拟。 CoRR公司 abs/1904.07136(2019)
2017
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/DelbiancoSNB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/DelbiancoSNB17
德比安科,伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉:
时间链接的并发数据结构（工件）。 Dagstuhl Artifacts爵士。三(2):04:1-04:4(2017)
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/DelbiancoSNB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/DelbiancoSNB17
德比安科,伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉:
实时链接的并发数据结构。 ECOOP公司 2017:8:1-8:30
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-07741
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-07741
阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉,德比安科:
主观模拟作为构成并发资源的形态概念。 CoRR公司 abs/1709.07741(2017)
2016
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/SergeyNBD16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/SegeyNBD16
伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉,德比安科:
霍尔风格的规范作为非线性并发对象的正确性条件。 OOPSLA公司 2016:92-110
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/DelbiancoSNB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DelbiancoSNB16
德比安科,伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉:
实时链接的并发数据结构。 CoRR公司 abs/1604.08080(2016)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/PodkopaevSN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/PodkopaevSN16
安东·波德科帕耶夫,伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基:
C/C++并发的操作方面。 CoRR公司 abs/1606.01400(2016)
2015
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/ZilianiDKNV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/ZilianiDKNV15
贝塔·齐利安尼,德里克·德雷尔,内拉坎坦·R·克里希纳斯瓦米,阿列克桑达尔·纳内夫斯基,维克托·瓦菲亚迪斯:
Mtac：Coq中类型化战术编程的monad。 J.功能。程序。 25(2015)
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SergeyNB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SergeyNB15
伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉:
用历史性和主观性来指定和验证并发算法。员工持股计划 2015:333-358
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/谢尔盖NB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SergeyNB15
伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉:
细粒度并发程序的机械化验证。 PLDI公司 2015:77-87
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/SergeyNBD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SergeyNBD15
伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉,德比安科:
Hoare-style规范作为非线性并发对象的正确性条件。 CoRR公司 abs/1509.06220(2015)
2014
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/NanevskiLSD14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/NanevskiLSD14
阿列克桑达尔·纳内夫斯基,Ruy Ley-Wild公司,伊利亚·谢尔盖,德比安科:
通信细粒度并发资源的状态转换系统。员工持股计划 2014:290至310
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/ItzhakyBILNS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/ItzhakyBILNS14
沙查尔·伊扎基,安妮迪亚·班纳吉,尼尔·伊梅尔曼,奥里·拉哈夫,阿列克桑达尔·纳内夫斯基,穆利·萨吉夫:
通过有效的命题公式对堆路径进行模块化推理。 POPL公司 2014:385-396
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/SergeyNB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SergeyNB14
伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉:
用历史和主观性指定和验证并发算法。 CoRR公司 abs/1410.0306(2014)
2013
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/GabbayN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/GabbayN13
默多克·詹姆斯·加巴伊,阿列克桑达尔·纳内夫斯基:
语境模态类型理论的外延：句法和元编程。 J.应用。日志。 11(1):1-29(2013)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/GonthierZND13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/GonthierZND13
乔治·戈蒂尔,贝塔齐利亚尼,阿列克桑达尔·纳内夫斯基,德里克·德雷尔:
如何使即席证明自动化减少即席性。 J.功能。程序。 23(4):357-401(2013)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/toplas/NanevskiBG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/toplas/NanevskiBG13
阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉,Deepak Garg公司:
用于验证信息流和访问控制策略的依赖类型理论。 ACM事务处理。程序。语言系统。 35(2):6:1-6:41(2013)
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ItzhakyBINS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ItzhakyBINS13
沙查尔·伊扎基,安妮迪亚·班纳吉,尼尔·伊梅尔曼,阿列克桑达尔·纳内夫斯基,穆利·萨吉夫:
关于链接数据结构中可达性的有效命题推理。 CAV汽车 2013:756-772
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/ZilianiDKNV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/ZilianiDKNV13
贝塔·齐利安尼,德里克·德雷尔,内拉坎坦·R·克里希纳斯瓦米,阿列克桑达尔·纳内夫斯基,维克托·瓦菲亚迪斯:
Mtac：Coq中用于类型化策略编程的单子。 ICFP公司 2013:87-100
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/DelbiancoN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/DelbiancoN13
德比安科,亚历山大·纳涅夫斯基:
带有（代数）延续的Hoare-style推理。 ICFP公司 2013:363-376
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Ley-WildN13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Ley-WildN13
Ruy Ley-Wild公司,阿列克桑达尔·纳内夫斯基:
粗粒度并发的主观辅助状态。 POPL公司 2013:561-574
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/StewartBN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/StewartBN13
戈登·斯特瓦特,安妮迪亚·班纳吉,阿列克桑达尔·纳内夫斯基:
在异构数据结构中执行信息流和擦除策略的依赖类型。 PPDP（PPDP） 2013:145-156
2012
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1202-0904
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-0904
默多克·加贝,阿列克桑达尔·纳内夫斯基:
上下文模态类型理论（CMTT）中的语法和元编程的表示。 CoRR公司 abs/1202.0904(2012)
2011
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/GonthierZND11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/GonthierZND11
乔治·戈蒂尔,贝塔·齐利安尼,亚历山大·纳涅夫斯基,德里克·德雷尔:
如何使即席证明自动化减少即席性。 ICFP公司 2011:163-175
[c12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sp/NanevskiBG11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sp/NanevskiBG11
阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉,Deepak Garg公司:
使用依赖类型验证信息流和访问控制策略。 IEEE安全与隐私研讨会 2011:165-179
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/SvendsenBN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/SvendsenBN11
卡斯珀·斯文森,拉尔斯·比克达尔,阿列克桑达尔·纳内夫斯基:
偏好、状态和依赖类型。薄层色谱分析 2011:198-212
2010
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/NanevskiVB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/NanevskiVB10
阿列克桑达尔·纳内夫斯基,维克托·瓦菲亚迪斯,乔什·伯丁:
构造堆操作程序的验证。 POPL公司 2010:261-274

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[c9]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tldi/NanevskiGM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tldi/NanevskiGM09
阿列克桑达尔·纳内夫斯基,保罗·戈维罗,格雷格·莫里塞特:
面向事务并发的类型理论语义。 TLDI公司 2009:79-90
2008
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/NanevskiMB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/NanevskiMB08
阿列克桑达尔·纳内夫斯基,J.格雷戈里·莫里塞特,拉尔斯·比克达尔:
霍尔类型理论、多态性和分离。 J.功能。程序。 18(5-6):865-911年(2008)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/NanevskiPP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/NanevskiPP08
阿列克桑达尔·纳内夫斯基,弗兰克·普芬宁,布里吉特·皮恩特卡:
语境模态类型理论。 ACM事务处理。计算。日志。 9(三):23:1-23:49(2008)
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/PetersenBNM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/PetersenBNM08
拉斯穆斯·勒奇达尔·彼得森,拉尔斯·比克达尔,阿列克桑达尔·纳内夫斯基,格雷格·莫里塞特:
实证霍尔类型理论的可实现性模型。员工持股计划 2008:337-352
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/Nanevski MSGB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/NanevskiMSGB08
阿列克桑达尔·纳内夫斯基,格雷格·莫里塞特,Avraham Shinnar公司,保罗·戈维罗,拉尔斯·比克达尔:
Ynot：命令式程序的依赖类型。 ICFP公司 2008:229-240
2007
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/NanevskiAMB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/NanevskiAMB07
阿列克桑达尔·纳内夫斯基,阿迈勒,格雷格·莫里塞特,拉尔斯·比克达尔:
Hoare类型理论中的抽象谓词和可变ADT。员工持股计划 2007:189-204年
2006
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/NanevskiMB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/NanevskiMB06
阿列克桑达尔·纳内夫斯基,格雷格·莫里塞特,拉尔斯·比克达尔:
hoare型理论中的多态性和分离。 ICFP公司 2006:62-73
2005
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/NanevskiP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/NanevskiP05
阿列克桑达尔·纳内夫斯基,弗兰克·普芬宁:
带有名称和必要性的分阶段计算。 J.功能。程序。 15(5):893-939(2005)
2003
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/NanevskiBH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/NanevskiBH03
阿列克桑达尔·纳内夫斯基,盖伊·布莱洛赫,罗伯·哈波:
分段几何谓词的自动生成。高。订购符号。计算。 16(4):379-400人(2003)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/NanevskiPP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/NanevskiPP03
亚历山大·纳涅夫斯基,布里吉特·皮恩特卡,弗兰克·普芬宁:
元变量的模态基础。梅林 2003
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ppdp/Nanevski 2003年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ppdp/Nanevski03网址
阿列克桑达尔·纳内夫斯基:
通过模态可能性从动态绑定到状态。 PPDP（PPDP） 2003:207-218
2002
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/Nanevski02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/Nanevski02
阿列克桑达尔·纳内夫斯基:
具有名称和必要性的元编程。 ICFP公司 2002:206-217
2001
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/NanevskiBH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/NanevskiBH01
阿列克桑达尔·纳内夫斯基,盖伊·布莱洛赫,罗伯·哈波:
分段几何谓词的自动生成。 ICFP公司 2001:217-228

合著者索引

请参阅常见问题解答

服务

管理网站设置

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