丹尼尔·马歇尔 0001
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [i3] 维多利亚·沃尔默 , 丹尼尔·马歇尔 , 哈雷伊德斯III , 多米尼克果园 :
混合线性和分级逻辑:证明、术语和模型。 CoRR公司 abs/2401.17199 ( 2024 ) 2023 [i2] 丹尼尔·马歇尔 , 多米尼克果园 :
完整性和机密性的分级模式类型。 CoRR公司 abs/2309.04324 ( 2023 ) [i1] 丹尼尔·马歇尔 , 多米尼克·乌节 :
通过分数唯一性实现功能所有权。 CoRR公司 腹肌/2310.18166 ( 2023 ) 2022 [j1] 丹尼尔·马歇尔 , 多米尼克果园 :
如何获取类型的反转(工件)。 Dagstuhl Artifacts爵士。 8 ( 2 ) : 01:1-01:3 ( 2022 ) 【c3】 丹尼尔·马歇尔 , 多米尼克果园 :
如何获取类型的反转。 ECOOP公司 2022 : 5:1-5:27 【c2】 丹尼尔·马歇尔 , 迈克尔·沃尔默 , 多米尼克果园 :
线性和唯一性:协约。 员工持股计划 2022 : 346-375 【c1】 丹尼尔·马歇尔 , 多米尼克·乌节 :
复制、重用、重复:通过会话类型和分级模式类型捕获非线性通信。 地点@ETAPS 2022 : 1-11
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)