Domain-Aware Session Types
Domain-Aware Session Types
复制标题
域感知会话类型
DOI：
10.4230/lipics.concur.2019.39
复制
发表时间：
2019
影响因子：
--
通讯作者：
Toninho, Bernardo
中科院分区：
文献类型：
--
作者：
Caires, Luis;Perez, Jorge A.;Pfenning, Frank;Toninho, Bernardo
登录
查看更多内容
线性逻辑的并发模型
DOI：
--
发表时间：
2006
期刊：
Mathematical Foundations of Programming Semantics
影响因子：
--
作者：
E. Beffara
通讯作者：
E. Beffara
通过直觉线性类型理论的依赖会话类型
影响因子：
5.2
作者：
Bernardo Toninho;Luís Caires;F. Pfenning
通讯作者：
F. Pfenning
一致性概括了二元性：多方会话类型的逻辑解释
DOI：
10.4230/lipics.concur.2016.33
发表时间：
2016
期刊：
ArXiv
影响因子：
--
作者：
Marco Carbone;S. Lindley;F. Montesi;C. Schürmann;P. Wadler
通讯作者：
P. Wadler
动态交互的类型
DOI：
--
发表时间：
1993
期刊：
--
影响因子：
--
作者：
Kohei Honda
通讯作者：
Kohei Honda
DOI：
10.1145/1328438.1328472
发表时间：
2008-01
期刊：
--
影响因子：
--
作者：
Kohei Honda;N. Yoshida;Marco Carbone
通讯作者：
Kohei Honda;N. Yoshida;Marco Carbone