停止战争！

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

对于科学家：

默认搜索操作

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

问别人

马蒂亚·普雷特纳

>主页 >珀森斯

人员信息

附属： 斯洛文尼亚卢布尔雅那大学数学和物理系

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
[i13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2404-04218
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2404-04218
菲利普·科普里维奇,马蒂亚·普雷特纳:
用效果简化多态演算中的显式子类型胁迫。 CoRR公司 abs/2404.04218(2024)
2023
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/PhippsCostinRGLHSPL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/PhippsCostinRGLHSPL23
卢娜·菲普斯·科斯汀,安德烈亚斯·罗斯伯格,阿琼·古哈,Daan Leijen公司,丹尼尔·希勒斯特罗姆,K.C.西瓦拉马克里希南,马蒂亚·普雷特纳,萨姆·林德利:
使用效果处理程序继续WebAssembly。程序。ACM计划。语言。 7(OOPSLA2公司):460-485(2023)
[i12]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2307-13795
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-13795
丹尼尔·艾哈曼,马蒂亚·普雷特纳:
高阶异步效果。 CoRR公司 abs/2307.13795(2023)
[i11]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2308-08347
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2308-08347
卢娜·菲普斯·科斯汀,安德烈亚斯·罗斯伯格,阿琼·古哈,Daan Leijen公司,丹尼尔·希勒斯特罗姆,K.C.西瓦拉马克里希南,马蒂亚·普雷特纳,萨姆·林德利:
使用效果处理程序继续WebAssembly。 CoRR公司腹肌/2308.08347(2023)
[i10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2311-07223
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2311-07223
约阿希姆·布雷特纳,菲利普·加德纳,李在云,萨姆·林德利,马蒂亚·普雷特纳,肖家饶,安德烈亚斯·罗斯伯格,苏京琉,Wonho Shin公司,康拉德·瓦特,杨东军（Dongjun Youn）:
Wasm SpecTec：设计正式语言标准。 CoRR公司 abs/2311.07223(2023)
2021
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/KarachaliasKPS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/KarachaliasKPS21
乔治奥斯·卡拉查利亚斯,菲利普·科普里维奇,马蒂亚·普雷特纳,汤姆·施里杰弗斯:
代数效果处理程序的高效编译。程序。ACM计划。语言。 5(乌普斯拉):1-28(2021)
[j10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/AhmanP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/AhmanP21
达内尔·艾哈迈德,马蒂亚·普雷特纳:
异步效应。程序。ACM计划。语言。 5(POPL公司):1-28(2021)
2020
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/LuksicP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/LuksicP20
齐加·卢克西奇,马蒂亚·普雷特纳:
局部代数效应理论。 J.功能。程序。 30:e13（电子13）(2020)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/KarachaliasPSVS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/KarachaliasPSVS20
乔治奥斯·卡拉查利亚斯,马蒂亚·普雷特纳,阿姆尔·哈尼·萨利赫,斯汀·范德哈伦,汤姆·施里杰弗斯:
显式效果子类型。 J.功能。程序。 30:e15（电子15）(2020)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2003-02110
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2003-02110
丹尼尔·艾哈曼,马蒂亚·普雷特纳:
异步效应。 CoRR公司 abs/2003.02110(2020)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2005-13654
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2005-13654
齐加·卢克西奇,马蒂亚·普雷特纳:
局部代数效应理论。 CoRR公司 abs/2005.13654(2020)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2005-13814
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2005-13814
乔治奥斯·卡拉查利亚斯,马蒂亚·普雷特纳,阿姆尔·哈尼·萨利赫,斯汀·范德哈伦,汤姆·施里杰弗斯:
显式效果子类型。 CoRR公司 abs/2005.13814(2020)

2010 – 2019

请参阅常见问题解答

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

2019
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/0002KLP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/0002KLP19
扬尼克·福斯特,奥哈德·卡马尔,萨姆·林德利,马蒂亚·普雷特纳:
关于用户定义效果的表达能力：效果处理程序、一元反射、分隔控件。 J.功能。程序。 29:e15（电子15）(2019)
2018
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SalehKPS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SalehKPS18
阿姆尔·哈尼·萨利赫,乔治奥斯·卡拉查利亚斯,马蒂亚·普雷特纳,汤姆·施里杰弗斯:
显式效果子类型。员工持股计划 2018:327-354
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1802-06217
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-06217
安德烈·鲍尔,加丹·吉尔伯特,菲利普·哈塞尔瓦特,马蒂亚·普雷特纳,克里斯托弗·斯通:
仙女座校对助手的设计与实现。 CoRR公司 abs/1802.06217(2018)
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dagstuhl-reports/ChandrasekaranL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dagstuhl-reports/ChandrasekaranL18
Sivaramakrishnan Krishnamoorthy Chandrasekaran公司,Daan Leijen公司,马蒂亚·普雷特纳,汤姆·施里杰弗斯:
代数效应处理器成为主流（18172年达格斯图尔研讨会）。达格斯图尔报告 8(4):104-125(2018)
2017
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/KammarP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/KammarP17
奥哈德·卡马尔,马蒂亚·普雷特纳:
代数效果和处理程序不需要值限制。 J.功能。程序。 27:第7页(2017)
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/0002KLP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/0002KLP17
扬尼克·福斯特,奥哈德·卡马尔,萨姆·林德利,马蒂亚·普雷特纳:
关于用户定义效果的表达能力：效果处理程序、一元反射、分隔控制。程序。ACM计划。语言。 1(ICFP公司):13:1-13:29(2017)
2016
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/BauerGHPS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/BauerGHPS16
安德烈·鲍尔,盖坦·吉尔伯特,菲利普·哈塞尔瓦特,马蒂亚·普雷特纳,克里斯托弗·斯通:
仙女座校对助手的设计与实现。类型 2016:5:1-5:31
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KammarP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KammarP16
奥哈德·卡马尔,马蒂亚·普雷特纳:
代数效果和处理程序不需要值限制。 CoRR公司 abs/1605.06938(2016)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/ForsterKLP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ForsterKLP16
扬尼克·福斯特,奥哈德·卡马尔,萨姆·林德利,马蒂亚·普雷特纳:
关于用户定义效果的表达能力：效果处理程序、单数反射、分隔控制。 CoRR公司 abs/1610.09161(2016)
[i2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dagstuhl-reports/Bauer0PY16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dagstuhl-reports/Bauer0PY16
安德烈·鲍尔,马丁·霍夫曼,马蒂亚·普雷特纳,杰里米·亚洛普:
从代数效应和处理方法的理论到实践（达格斯图尔研讨会16112）。达格斯图尔报告 6(三):44-58(2016)
2015
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/BauerP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/BauerP15
安德烈·鲍尔,马蒂亚·普雷特纳:
使用代数效果和处理程序进行编程。 J.日志。代数方法课程。 84(1):108-123(2015)
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kolicalling/LokarP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kolicaling/Locarp15
马蒂亚·洛卡尔,马蒂亚·普雷特纳:
用于编程教学的低开销自动化服务。 Koli呼叫 2015:132-136
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Pretnar15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Prenar15
马蒂亚·普雷特纳:
代数效应和处理方法简介。受邀的辅导论文。 MFPS公司 2015:19-35
2014
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Pretnar13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Pretnar13
马蒂亚·普雷特纳:
推导代数效应。日志。方法计算。科学。 10(三)(2014)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BauerP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BauerP13
安德烈·鲍尔,马蒂亚·普雷特纳:
代数效果和处理程序的效果系统。日志。方法计算。科学。 10(4)(2014)
2013
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/PlotkinP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/PlotkinP13
戈登·普洛金,马蒂亚·普雷特纳:
处理代数效应。日志。方法计算。科学。 9(4)(2013)
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/BauerP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/BauerP13
安德烈·鲍尔,马蒂亚·普雷特纳:
代数效果和处理程序的效果系统。 CALCO公司 2013:1-16
2012
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1203-1539
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-1539
安德烈·鲍尔,马蒂亚·普雷特纳:
使用代数效果和处理程序编程。 CoRR公司腹肌/1203.1539(2012)
2010
【b1】
- 看法
- 出口记录
  dblp键：
  - 博士/民族精神/普雷特纳10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/Pretnar10
马蒂亚·普雷特纳:
代数效应的逻辑和处理。英国爱丁堡大学，2010

2000 – 2009

请参阅常见问题解答

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

2009
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/PlotkinP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/PlotkinP09
戈登·普洛金,马蒂亚·普雷特纳:
代数效应处理程序。员工持股计划 2009:80-94
2008
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/PlotkinP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/PlotkinP08
戈登·普洛金,马蒂亚·普雷特纳:
代数效应的逻辑。低收入国家 2008:118-129

合著者索引

请参阅常见问题解答

服务

管理网站设置

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