拉斯穆斯·埃杰莱斯·莫格伯格
人员信息
附属: 丹麦哥本哈根IT大学
优化列表
2020年–今天
2024 【c23】 拉斯穆斯·埃杰莱斯·莫格伯格 , Maaike Zwart公司 :
Monads在额外的时间里能做什么和不能做什么。 CSL公司 2024 : 39:1-39:18 [第14条] 菲利普·斯塔森 , Rasmus Ejlers Møgelberg公司 , Maaike Zwart公司 , 亚历杭德罗·阿吉雷 , 拉尔斯·比克达尔 :
防护型理论中概率FPC的建模。 CoRR公司 abs/2408.04455 ( 2024 ) 2023 [公元18年] 帕特里克·巴尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
异步模态FRP。 程序。 ACM计划。 语言。 7 ( ICFP公司 ) : 476-510 ( 2023 ) [i13] 帕特里克·巴尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
异步模态FRP。 CoRR公司 abs/2303.03170 ( 2023 ) [i12] 拉斯穆斯·埃杰莱斯·莫格伯格 , Maaike Zwart公司 :
单子在额外的时间里可以做什么,不能做什么。 CoRR公司 abs/2311.15919 ( 2023 ) 2022 [公元22年] 马格努斯·鲍恩斯加德-克里斯滕森 , Rasmus Ejlers Møgelberg公司 , 安德烈亚·维佐西 :
最伟大的HIT:通过时钟下的感应,在共导定义中具有更高的感应类型。 低收入国家 2022 : 42:1-42:13 2021 [j17] 帕特里克·巴尔 , 克里斯蒂安·乌尔达尔·格劳伦 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
钻石并不是永恒的:具有保护递归的反应式编程的活力。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1-28 ( 2021 ) [c21] 拉斯穆斯·埃杰莱斯·莫格伯格 , 安德烈亚·维佐西 :
用于应用仿真的两个保护递归幂域。 MFPS公司 2021 : 200-217 [i11] 马格努斯·鲍恩斯加德·克里斯滕森 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 安德烈亚·维佐西 :
时钟立方型理论的一个模型。 CoRR公司 abs/2102.01969 ( 2021 ) 2020 [公元16年] 巴赛尔·曼纳 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 尼科洛·维尔特里 :
滴答钟作为从属右伴随词:钟型理论的指称语义。 日志。 方法计算。 科学。 16 ( 4 ) ( 2020 ) [公元15年] 拉尔斯·比克达尔 , 拉纳德·克劳斯顿 , 巴赛尔·曼纳 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 安德鲁·皮特斯 , 巴斯·斯皮特尔斯 :
模态从属类型理论和从属右伴随词。 数学。 结构。 计算。 科学。 30 ( 2 ) : 118-138 ( 2020 ) [公元14年] 亚历斯·比兹亚克 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
保护依赖类型理论的表示语义。 数学。 结构。 计算。 科学。 30 ( 4 ) : 342-378 ( 2020 ) [公元20年] 艾哈迈德·萨利姆·西巴希 , 托马斯·詹森 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 安德烈·瓦索夫斯基 :
递归类型的Galois连接。 通过程序分析从Lambda演算到网络安全 2020 : 105-131 [i10] 帕特里克·巴尔 , 克里斯蒂安·乌尔达尔·格劳伦德 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
钻石并不是永恒的:具有保护递归的反应式编程的活力。 CoRR公司 abs/2003.03170 ( 2020 ) [第九章] 巴赛尔·曼纳 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 尼科洛·维尔特里 :
滴答钟作为从属右伴随词:钟型理论的指称语义。 CoRR公司 abs/2004.01709 ( 2020 )
2010 – 2019
2019 [j13] 拉斯穆斯·埃杰莱斯·莫格伯格 , 马可·帕维奥蒂 :
综合保护域理论中递归类型的表示语义。 数学。 结构。 计算。 科学。 29 ( 三 ) : 465-510 ( 2019 ) [公元12年] 帕特里克·巴尔 , 克里斯蒂安·格劳伦德 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
Simply RaTT:一种fitch-style模态演算,用于无空间泄漏的反应式编程。 程序。 ACM计划。 语言。 三 ( ICFP公司 ) : 109:1-109:27 ( 2019 ) [公元11年] 拉斯穆斯·埃杰莱斯·莫格伯格 , 尼科洛·维尔特里 :
双向模拟作为保护递归类型的路径类型。 程序。 ACM计划。 语言。 三 ( POPL公司 ) : 4:1-4:29 ( 2019 ) [i8] 帕特里克·巴尔 , 克里斯蒂安·格劳伦德 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
Simply RaTT:一种适用于反应式编程的Fitch-style模态演算。 CoRR公司 abs/1903.05879 ( 2019 ) 2018 [第19条] 巴赛尔·曼纳 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
时钟——它们是时钟类型理论的附属名词语义。 金融稳定与发展部 2018 : 23:1-23:17 [i7] 亚历斯·比兹亚克 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
保护依赖类型理论的表示语义。 CoRR公司 abs/1802.03744 ( 2018 ) [i6] 拉纳德·克鲁斯顿 , 巴赛尔·曼纳 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 安德鲁·皮特斯 , 巴斯·斯皮特尔斯 :
模态从属类型理论与从属右伴随词。 CoRR公司 abs/1804.05236 ( 2018 ) [i5] 巴赛尔·曼纳 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
时钟——它们是附加词:时钟类型理论的指称语义。 CoRR公司 abs/1804.06687 ( 2018 ) [i4] 拉斯穆斯·埃杰莱斯·莫格伯格 , 马尔科·帕维奥蒂 :
合成保护域理论中递归类型的指称语义。 CoRR公司 abs/1805.00289 ( 2018 ) [i3] 拉斯穆斯·埃杰莱斯·莫格伯格 , 尼科洛·维尔特里 :
双向模拟作为保护递归类型的路径类型。 CoRR公司 abs/1810.13261 ( 2018 ) 2017 [第18条] 帕特里克·巴尔 , 汉斯·布格·格雷斯沃尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
时钟在滴答作响:不要再耽搁了! 低收入国家 2017 : 1-12 2016 [第17条] 亚历斯·比兹亚克 , 汉斯·布格·格雷斯沃尔 , 拉纳德·克鲁斯顿 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 拉尔斯·比克达尔 :
具有共导类型的保护依赖类型理论。 FoSSaCS公司 2016 : 20-35 [第16条] 拉斯穆斯·埃杰莱斯·莫格伯格 , 马尔科·帕维奥蒂 :
合成保护域理论中递归类型的指称语义。 低收入国家 2016 : 317-326 [i2] 亚历斯·比兹亚克 , 汉斯·布格·格雷斯沃尔 , 拉纳德·克鲁斯顿 , Rasmus Ejlers Møgelberg公司 , 拉尔斯·比克达尔 :
具有共导类型的保护依赖类型理论。 CoRR公司 abs/1601.01586 ( 2016 ) 2015 [第15条] 亚历斯·比兹亚克 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
带时钟同步的保护递归模型。 MFPS公司 2015 : 83-101 [第14条] 马可·帕维奥蒂 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 拉尔斯·比克达尔 :
防护型理论中的PCF模型。 MFPS公司 2015 : 333-349 2014 [公元10年] 拉斯穆斯·埃杰莱斯·莫格伯格 , 萨姆·斯塔顿 :
状态的线性用法。 日志。 方法计算。 科学。 10 ( 1 ) ( 2014 ) [公元9年] 杰夫·艾格 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
丰富的效果演算:语法和语义。 J.日志。 计算。 24 ( 三 ) : 615-654 ( 2014 ) [第13条] 拉斯穆斯·埃杰莱斯·莫格伯格 :
通过保护递归进行生产性协同编程的类型理论。 CSL-LICS公司 2014 : 71:1-71:10 2013 [c12] 拉尔斯·比克达尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
作为宇宙不动点的有保护递归类型的内涵型理论。 低收入国家 2013 : 213-222 2012 [j8] 拉尔斯·比克达尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 简·施温哈默 , 克里斯蒂安·斯特夫林 :
合成保护域理论的第一步:树拓扑的阶跃诱导。 日志。 方法计算。 科学。 8 ( 4 ) ( 2012 ) [j7] 杰夫·艾格 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
丰富效果演算中的线性使用CPS翻译。 日志。 方法计算。 科学。 8 ( 4 ) ( 2012 ) 2011 [第11条] 拉斯穆斯·埃杰莱斯·莫格伯格 , 萨姆·斯塔顿 :
调用值模型中的线性使用状态。 钙 2011 : 298-313 [第10条] 拉尔斯·比克达尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 简·施温哈默 , 克里斯蒂安·斯特夫林 :
合成保护域理论的第一步:树顶部的逐步索引。 低收入国家 2011 : 55-64 2010 【c9】 杰夫·艾格 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
强化效应演算中的线性连续体。 FoSSaCS公司 2010 : 18-32 【c8】 拉斯穆斯·埃杰莱斯·莫格伯格 :
本地存储的名义关系模型。 MFPS公司 2010 : 403-421
2000 – 2009
2009 [j6] Rasmus Ejlers Møgelberg公司 , 亚历克斯·辛普森 :
计算效果的关系参数。 日志。 方法计算。 科学。 5 ( 三 ) ( 2009 ) [j5] 拉斯穆斯·埃杰莱斯·莫格伯格 :
从参数多态性到多态FPC模型。 数学。 结构。 计算。 科学。 19 ( 4 ) : 639-686 ( 2009 ) 【c7】 杰夫·艾格 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
用线性类型丰富效果微积分。 CSL公司 2009 : 240-254 2008 【j4】 拉斯穆斯·埃杰莱斯·莫格伯格 , 拉尔斯·比克达尔 , 朱塞佩·罗索里尼 :
线性Abadi&Plotkin逻辑的综合域理论和模型。 Ann.纯应用。 日志。 155 ( 2 ) : 115-133 ( 2008 ) 2007 [j3] 拉尔斯·比克达尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 拉斯穆斯·勒奇达尔·彼得森 :
参数多态性的领域理论模型。 西奥。 计算。 科学。 388 ( 1-3 ) : 152-172 ( 2007 ) 【c6】 Rasmus Ejlers Møgelberg公司 , 亚历克斯·辛普森 :
计算效果的关系参数。 低收入国家 2007 : 346-355 【c5】 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
带效果的参数多态逻辑。 类型 2007 : 142-156 【c4】 拉斯穆斯·埃杰莱斯·莫格伯格 , 亚历克斯·辛普森 :
将控制的关系参数视为计算效果。 MFPS公司 2007 : 295-312 2006 [注2] 拉尔斯·比克达尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 拉斯穆斯·勒奇达尔·彼得森 :
线性阿巴迪和普洛金逻辑。 日志。 方法计算。 科学。 2 ( 5 ) ( 2006 ) 【c3】 拉斯穆斯·埃杰莱斯·莫格伯格 :
将多态FPC解释为参数多态的领域理论模型。 ICALP(二) 2006 : 372-383 [i1] 拉尔斯·比克达尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 拉斯穆斯·勒切达尔·彼得森 :
线性Abadi和Plotkin逻辑。 CoRR公司 abs/cs/0611004 ( 2006 ) 2005 [j1] 拉尔斯·比克达尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 :
Abadi和Plotkin参数逻辑的分类模型。 数学。 结构。 计算。 科学。 15 ( 4 ) : 709-772 ( 2005 ) 【c2】 拉尔斯·比克达尔 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 拉斯穆斯·勒奇达尔·彼得森 :
多形直觉/线性Lambda演算的参数域理论模型。 MFPS公司 2005 : 191-217 【c1】 拉斯穆斯·埃杰莱斯·莫格伯格 , 拉尔斯·比克达尔 , 朱塞佩·罗索里尼 :
线性Abadi和Plotkin逻辑的综合域理论和模型。 MFPS公司 2005 : 219-245