米克尔·凯特纳
人员信息
优化列表
2020年–今天
2021 【c3】 伊罗斯拉夫·戈洛瓦诺夫 , 汉斯·海特尔 , 马蒂亚斯·雅各布森 , 米克尔·凯特纳 :
平行用法的行为分离。 FTfJP@ECOOP 2021 : 51-58 2020 【c2】 马里奥·布拉维蒂 , 阿德里安·弗兰卡兰扎 , 伊罗斯拉夫·戈洛瓦诺夫 , 汉斯·海特尔 , 马蒂亚斯·雅各布森 , 米克尔·凯特纳 , 安托尼奥·拉瓦拉 :
核心面向对象语言中内存和方法安全的行为类型。 阿普拉斯 2020 : 105-124 [i1] 马里奥·布拉维蒂 , 阿德里安·弗兰卡兰扎 , 伊罗斯拉夫·戈洛瓦诺夫 , 汉斯·海特尔 , 马蒂亚斯·雅各布森 , 米克尔·凯特纳 , 安托尼奥·拉瓦拉 :
核心面向对象语言中用于内存和方法安全的行为类型。 CoRR公司 abs/2002.12793 ( 2020 )
2010 – 2019
2018 【c1】 延斯·阿加德 , 汉斯·海特尔 , 马蒂亚斯·雅各布森 , 米克尔·凯特纳 :
应用Pi-Calculus的无上下文会话类型。 快递/SOS 2018 : 3-18