安德烈亚斯·罗斯伯格
人员信息
附属: 谷歌,德国 隶属关系(前): 德国萨尔布吕肯马克斯·普朗克软件系统研究所 隶属关系(前): 德国萨尔布吕肯萨尔州大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年-今天
2023 [j8] 安德烈亚斯·罗斯伯格 :
相互等渗子类型。 程序。 ACM计划。 语言。 7 ( OOPSLA2公司 ) : 347-373 ( 2023 ) [j7] 卢娜·菲普斯·科斯汀 , 安德烈亚斯·罗斯伯格 , 阿琼·古哈 , Daan Leijen公司 , 丹尼尔·希勒斯特罗姆 , K.C.西瓦拉马克里希南 , 马蒂亚·普雷特纳 , 萨姆·林德利 :
使用效果处理程序继续WebAssembly。 程序。 ACM计划。 语言。 7 ( OOPSLA2公司 ) : 460-485 ( 2023 ) [第15条] 安德烈亚斯·罗斯伯格 :
保持asm在Wasm中:在低级VM上运行高级语言(邀请对话)。 DLS公司 2023 : 5 [第14条] 安德烈亚斯·罗斯伯格 :
垃圾变成垃圾了吗? (主旨)。 MPLR公司 2023 : 1 [i4] 卢娜·菲普斯·科斯汀 , 安德烈亚斯·罗斯伯格 , 阿琼·古哈 , Daan Leijen公司 , 丹尼尔·希勒斯特罗姆 , K.C.西瓦拉马克里希南 , 马蒂亚·普雷特纳 , 萨姆·林德利 :
使用效果处理程序继续WebAssembly。 CoRR公司 abs/2308.08347 ( 2023 ) [i3] 约阿希姆·布莱特纳 , 菲利普·加德纳 , 李在云 , 萨姆·林德利 , 马蒂亚·普雷特纳 , 肖家饶 , 安德烈亚斯·罗斯伯格 , Sukyung Ryu先生 , Wonho Shin公司 , 康拉德·瓦特 , 杨东军(Dongjun Youn) :
Wasm SpecTec:设计正式语言标准。 CoRR公司 abs/2311.07223 ( 2023 ) [i2] 卡提基扬·巴尔干 , 乔纳森·普罗琴科 , 安德烈亚斯·罗斯伯格 , 戴安·斯特凡 :
网络大会基础(Dagstuhl研讨会23101)。 达格斯图尔报告 13 ( 三 ) : 1-16 ( 2023 ) 2021 [i1] 丹尼尔·艾哈曼 , 阿迈勒 , 萨姆·林德利 , 安德烈亚斯·罗斯伯格 :
效应的可缩放处理(Dagstuhl研讨会21292)。 达格斯图尔报告 11 ( 6 ) : 54-81 ( 2021 )
2010 – 2019
2019 [j6] 康拉德·瓦特 , 安德烈亚斯·罗斯伯格 , Jean Pichon-Pharabod公司 :
正在削弱WebAssembly。 程序。 ACM计划。 语言。 三 ( OOPSLA公司 ) : 133:1-133:28 ( 2019 ) 2018 [j5] 安德烈亚斯·罗斯伯格 , 本·L·蒂泽 , 安得利亚斯·哈斯 , 德里克·舒夫 , 丹·戈曼 , 卢克·瓦格纳 , 阿隆·扎凯 , J.F.巴斯蒂安 , 迈克尔·霍尔曼 :
使用WebAssembly加快web速度。 Commun公司。 ACM公司 61 ( 12 ) : 107-115 ( 2018 ) 【j4】 安德烈亚斯·罗斯伯格 :
1ML-核心和模块相结合。 J.功能。 程序。 28 : 第22页 ( 2018 ) 2017 [第13条] 安得利亚斯·哈斯 , 安德烈亚斯·罗斯伯格 , 德里克·舒夫 , 本·L·蒂泽 , 迈克尔·霍尔曼 , 丹·戈曼 , 卢克·瓦格纳 , 阿隆·扎凯 , J.F.巴斯蒂安 :
使用WebAssembly加快web速度。 PLDI公司 2017 : 185-200 2016 [第12条] 安德烈亚斯·罗斯伯格 :
具有特殊效果的1ML-F-ing生成性多态性。 改变世界的成功列表 2016 : 336-355 2015 [第11条] 安德烈亚斯·罗斯伯格 :
1ML-核心和模块统一(F-ing一流模块)。 ICFP公司 2015 : 35-47 2014 [j3] 安德烈亚斯·罗斯伯格 , 克劳迪奥·拉索 , 德里克·德雷尔 :
F-ing模块。 J.功能。 程序。 24 ( 5 ) : 529-607 ( 2014 ) 2013 [注2] 安德烈亚斯·罗斯伯格 , 德里克·德雷尔 :
混合ML模块系统。 ACM事务处理。 程序。 语言系统。 35 ( 1 ) : 2:1-2:84 ( 2013 ) 2011 [j1] 乔治·奈斯 , 德里克·德雷尔 , 安德烈亚斯·罗斯伯格 :
非参数参数。 J.功能。 程序。 21 ( 4-5 ) : 497-562 ( 2011 ) 2010 [第10条] 德里克·德雷尔 , 乔治·奈斯 , 安德烈亚斯·罗斯伯格 , 拉尔斯·比克达尔 :
高阶有状态ADT的关系模式逻辑。 POPL公司 2010 : 185-198 【c9】 安德烈亚斯·罗斯伯格 , 克劳迪奥·拉索 , 德里克·德雷尔 :
F-ing模块。 TLDI公司 2010 : 第89页至第102页
2000 – 2009
2009 【c8】 乔治·奈斯 , 德里克·德雷尔 , 安德烈亚斯·罗斯伯格 :
非参数参数。 ICFP公司 2009 : 135-148 【c7】 阿迈勒 , 德里克·德雷尔 , 安德烈亚斯·罗斯伯格 :
依赖于州的表示独立性。 POPL公司 2009 : 340-353 2008 【c6】 德里克·德雷尔 , 安德烈亚斯·罗斯伯格 :
混合ML模块系统。 ICFP公司 2008 : 307-320 【c5】 安德烈亚斯·罗斯伯格 :
具有抽象类型和高阶强制的动态半透明。 MFPS公司 2008 : 313-336 2007 【b1】 安德烈亚斯·罗斯伯格 :
类型化开放编程:动态模块化和分布的高阶类型化方法。 萨尔州大学, 2007 【c4】 安德烈亚斯·罗斯伯格 , Guido Tack公司 , 莱夫·科恩斯塔特 :
状态报告:泡菜,以及如何食用。 毫升 2007 : 25-36 2006 【c3】 安德烈亚斯·罗斯伯格 :
缺失的环节:ML的动态组件。 ICFP公司 2006 : 99-110 2004 【c2】 安德烈亚斯·罗斯伯格 , 迪迪埃·勒·博特兰 , Guido塔克 , 托尔斯滕·布伦克劳斯 , 格特·斯莫尔卡 :
爱丽丝透过镜子。 函数式编程趋势 2004 : 79-95 2003 【c1】 安德烈亚斯·罗斯伯格 :
抽象类型的生成性和动态不透明度。 PPDP(PPDP) 2003 : 241-252
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)