多米尼克·A·乌节(Dominic A.Orchard)
人员信息
附属: 肯特大学 隶属关系(前): 剑桥大学 隶属关系(前): 英国伦敦帝国理工学院
优化列表
2020年–今天
2024 [公元31年] 杰克·休斯 , 多米尼克·乌节 :
分级类型的程序综合。 员工持股计划(1) 2024 : 83-112 [i11] 维多利亚·沃尔默 , 丹尼尔·马歇尔 , 哈雷伊德斯III , 多米尼克果园 :
混合线性和分级逻辑:证明、术语和模型。 CoRR公司 abs/2401.17199 ( 2024 ) [i10] 约瑟夫·邦德 , 克里斯蒂娜·戴维 , 阮明 , 多米尼克果园 , 罗利·佩雷拉 :
共轭运算符用于透明、可探索的研究输出。 CoRR公司 abs/2403.04403 ( 2024 ) 2023 [公元10年] 劳拉·博奇 , 多米尼克·乌节 , A.劳拉·沃妮亚 :
组成协议的理论。 艺术科学。 工程计划。 7 ( 2 ) ( 2023 ) [公元30年] 多米尼克果园 , 米哈伊尔·蒙泰努 , 保罗·托伦斯 :
通信参与者自动机-将Erlang进程建模为通信机器。 地点@ETAPS 2023 : 38-48 [第九章] 丹尼尔·马歇尔 , 多米尼克果园 :
完整性和机密性的分级模式类型。 CoRR公司 abs/2309.04324 ( 2023 ) [i8] 丹尼尔·马歇尔 , 多米尼克果园 :
通过分数唯一性实现功能所有权。 CoRR公司 abs/2310.18166 ( 2023 ) 2022 [公元9年] 丹尼尔·马歇尔 , 多米尼克·乌节 :
如何获取类型的反转(工件)。 Dagstuhl Artifacts爵士。 8 ( 2 ) : 01:1-01:3 ( 2022 ) [公元29年] 丹尼尔·马歇尔 , 多米尼克果园 :
如何获取类型的反转。 ECOOP公司 2022 : 5:1-5:27 [公元28年] 丹尼尔·马歇尔 , 迈克尔·沃尔默 , 多米尼克果园 :
线性和唯一性:协约。 员工持股计划 2022 : 346-375 [公元27年] 丹尼尔·马歇尔 , 多米尼克果园 :
复制、重用、重复:通过会话类型和分级模式类型捕获非线性通信。 地点@ETAPS 2022 : 1-11 [i7] 劳拉·博奇 , 多米尼克果园 , A.劳拉·沃妮亚 :
协议组成理论。 CoRR公司 abs/2203.02461 ( 2022 ) 2021 [c26] 马可·加博阿迪 , Shin-ya胜本 , 多米尼克果园 , 佐藤忠雄 :
分级Hoare逻辑及其范畴语义。 员工持股计划 2021 : 234-263 [公元25年] 本杰明·穆恩 , 哈雷伊德斯III , 多米尼克果园 :
分级模态相关类型理论。 员工持股计划 2021 : 462至490 [电子5] 向尚高 , 多米尼克果园 :
TyDe 2021:第六届ACM SIGPLAN类型驱动开发国际研讨会会议记录,虚拟活动,韩国,2021年8月22日。 ACM公司 2021 ,国际标准图书编号 978-1-4503-8616-6 [目录] [电子4] 何塞·F·莫拉莱斯 , 多米尼克·A·乌节(Dominic A.Orchard) :
声明语言的实用方面——第23届国际研讨会,PADL 2021,丹麦哥本哈根,2021年1月18日至19日,会议记录。 计算机科学课堂讲稿 12548, 施普林格 2021 ,国际标准图书编号 978-3-030-67437-3 [目录] 2020 [公元24年] 安德烈·伊瓦斯科维奇 , 艾伦·迈克罗夫特 , 多米尼克果园 :
数据流分析作为效果和分级单体。 金融稳定与发展部 2020 : 15:1-15:23 【c23】 杰克·休斯 , 多米尼克果园 :
从分级线性类型综合资源丰富的程序。 洛普斯特 2020 : 151-170 [公元22年] 多米尼克果园 , 菲利普·沃德勒 , 哈雷伊德斯III :
统一分级和参数化单体。 MSFP@ETAPS 2020 : 18-38 【c21】 杰克·休斯 , 迈克尔·沃尔默 , 多米尼克果园 :
导出分级线性类型的分布规律。 线性& IJCAR-FSCD的TLLA 2020 : 109-131 [i6] 哈雷伊德斯III , 多米尼克果园 :
分级伴随逻辑。 CoRR公司 abs/2006.08854 ( 2020 ) [i5] 马可·加博阿迪 , Shin-ya胜本 , 多米尼克果园 , 佐藤忠雄 :
分级Hoare逻辑及其范畴语义。 CoRR公司 abs/2007.11235 ( 2020 ) [i4] 本杰明·穆恩 , 哈雷伊德斯III , 多米尼克果园 :
分级模态相关类型理论。 CoRR公司 abs/2010.13163 ( 2020 ) [i3] 多米尼克果园 , Mistral Contrastin公司 , 马修·丹麦语 , 安德鲁·赖斯 :
指导计量单位验证的用户注释。 CoRR公司 abs/2011.06094 ( 2020 )
2010 – 2019
2019 [j8] 多米尼克果园 , 维伦·本杰明·利佩尔特 , 哈雷伊德斯III :
分级模态类型的定量程序推理。 程序。 ACM计划。 语言。 三 ( ICFP公司 ) : 110:1-110:30 ( 2019 ) [公元20年] 李瑶霞 , 多米尼克果园 , 孟旺(Meng Wang) :
单幅创作双向节目。 员工持股计划 2019 : 147-175 [第19条] 马修·丹麦语 , 米尔蒂亚迪斯·阿拉马尼斯 , 马克·布罗克施密特 , 安德鲁·赖斯 , 多米尼克果园 :
从科学代码中学习度量单位。 SE4科学@ICSE 2019 : 43-46 [电子3] 弗朗西斯科·马丁斯 , 多米尼克果园 :
并发和通信cEntric软件的程序设计语言方法, 地点@ETAPS 2019年,捷克共和国布拉格,2019年4月7日。 EPTCS系统 291, 2019 [目录] [i2] 李瑶霞 , 多米尼克果园 , 孟旺(Meng Wang) :
单独编写双向程序(带附录)。 CoRR公司 abs/1902.06950 ( 2019 ) 2018 [j7] 多米尼克·A·乌节(Dominic A.Orchard) :
容器函子和comonad的复杂性边界。 Inf.计算。 261 : 144-158 ( 2018 ) [第18条] Mistral Contrastin公司 , 多米尼克·A·乌节(Dominic A.Orchard) , 安德鲁·C·赖斯 :
为数据日志的数据流安全自动重新排序。 PPDP(PPDP) 2018 : 9:1-9:17 2017 [j6] 多米尼克·A·乌节(Dominic A.Orchard) , 吉田信子 :
客座编辑前言。 J.日志。 代数方法课程。 90 : 1 ( 2017 ) [j5] 多米尼克·A·乌节(Dominic A.Orchard) , Mistral Contrastin公司 , 马修·丹麦语 , 安德鲁·赖斯 :
验证数组计算的空间属性。 程序。 ACM计划。 语言。 1 ( OOPSLA公司 ) : 75:1-75:30 ( 2017 ) 2016 【j4】 Mistral Contrastin公司 , 安德鲁·赖斯 , 马修·丹麦语 , 多米尼克·A·乌节(Dominic A.Orchard) :
Fortran程序中的度量单位正确性。 计算。 科学。 工程师。 18 ( 1 ) : 102-107 ( 2016 ) [第17条] 艾伦·迈克罗夫特 , 多米尼克·A·乌节(Dominic A.Orchard) , 托马斯·彼得里切克 :
重温效果系统-控制流代数和语义。 语义学、逻辑学和微积分 2016 : 1-32 [第16条] 马可·加博阿迪 , 胜俣信也 , 多米尼克·A·乌节(Dominic A.Orchard) , 弗拉维恩·布鲁瓦特 , 塔尔莫·乌斯塔卢 :
通过分级将效果和系数结合起来。 ICFP公司 2016 : 476-489 [第15条] 多米尼克·A·乌节(Dominic A.Orchard) , 吉田信子 :
效果作为会话,会话作为效果。 府绸 2016 : 568-581 [电子2] 多米尼克·A·乌节(Dominic A.Orchard) , 吉田信子 :
2016年4月8日,荷兰埃因霍温,PLACES 2016,第九届并行与通信软件编程语言方法研讨会论文集。 EPTCS系统 211, 2016 [目录] 2015 [j3] 多米尼克·A·乌节 , 安德鲁·赖斯 , 奥列格·奥斯米扬 :
使用推断的度量单位进化Fortran类型。 J.计算。 科学。 9 : 156-162年 ( 2015 ) [第14条] 多米尼克·A·乌节(Dominic A.Orchard) , 吉田信子 :
使用会话类型作为效果系统。 地点 2015 : 1-13 2014 【b1】 多米尼克·A·乌节(Dominic A.Orchard) :
编程上下文计算。 英国剑桥大学, 2014 [j2] 多米尼克·A·乌节(Dominic A.Orchard) :
函数编程的计算语义 作者:Jan van Eijck和Christina Unger。 J.功能。 程序。 24 ( 4 ) : 524-527 ( 2014 ) [第13条] 拉乌尔·加布里埃尔·乌尔马 , 多米尼克·A·乌节(Dominic A.Orchard) , 艾伦·迈克罗夫特 :
编程语言进化研讨会报告。 PLE@生态舱 2014 : 1-3 [第12条] 多米尼克·A·乌节(Dominic A.Orchard) , 托马斯·彼得里切克 :
在Haskell中嵌入效果系统。 哈斯克尔 2014 : 13月24日 [第11条] 多米尼克·A·乌节(Dominic A.Orchard) , 安德鲁·赖斯 :
编程语言研究的计算科学议程。 ICCS系统 2014 : 713-727 [第10条] 塞缪尔·亚伦 , 多米尼克·A·乌节(Dominic A.Orchard) , 艾伦·F·布莱克威尔 :
实时编码语言的时间语义。 ICFP农场 2014 : 37-47 【c9】 托马斯·彼得里切克 , 多米尼克·A·乌节(Dominic A.Orchard) , 艾伦·迈克罗夫特 :
系数:上下文相关计算的演算。 ICFP公司 2014 : 123-135 [电子1] 拉乌尔·加布里埃尔·乌尔马 , 多米尼克·A·乌节(Dominic A.Orchard) , 艾伦·迈克罗夫特 :
第一届程序设计语言进化研讨会会议记录, PLE@生态舱 2014年7月28日,瑞典乌普萨拉。 ACM公司 2014 ,国际标准图书编号 978-1-4503-2887-6 [目录] [i1] 多米尼克·A·乌节 , 托马斯·彼得里切克 , 艾伦·迈克罗夫特 :
单数和效果的语义结合。 CoRR公司 abs/1401.5391 ( 2014 ) 2013 【c8】 托马斯·彼得里切克 , 多米尼克·A·乌节(Dominic A.Orchard) , 艾伦·迈克罗夫特 :
协同效应:上下文依赖的统一静态分析。 ICALP(二) 2013 : 385-397 【c7】 叶·彼得森 , 多米尼克·A·乌节(Dominic A.Orchard) , 尼尔·格鲁 :
Haskell的自动SIMD矢量化。 ICFP公司 2013 : 25-36 【c6】 多米尼克·A·乌节(Dominic A.Orchard) , 安德鲁·C·赖斯 :
使用自动重构升级fortran源代码。 溅水时的WRT 2013 : 29至32 2012 【c5】 多米尼克·A·乌节(Dominic A.Orchard) , 艾伦·迈克罗夫特 :
Comonad的符号。 国际单项体育联合会 2012 : 1月17日 2011 【c4】 多米尼克·A·乌节(Dominic A.Orchard) :
编程语言设计的四个R。 向前的! 2011 : 157-162 【c3】 多米尼克·A·乌节(Dominic A.Orchard) , 艾伦·迈克罗夫特 :
通过模式匹配和静态键入进行有效且正确的模具计算。 数字用户线 2011 : 68-92 2010 【c2】 多米尼克·A·乌节(Dominic A.Orchard) , 汤姆·施里弗斯 :
Haskell类型约束已释放。 FLOPS(浮动) 2010 : 56-71 【c1】 多米尼克·A·乌节 , 马克斯·博林布鲁克 , 艾伦·迈克罗夫特 :
Ypnos:声明式并行结构化网格编程。 DAMP公司 2010 : 15-24
2000 – 2009
2008 [j1] 多米尼克·A·乌节(Dominic A.Orchard) , 史蒂夫·马修斯 :
将Lucid的声明性数据流范式集成到面向对象中。 数学。 计算。 科学。 2 ( 1 ) : 103-122 ( 2008 )