文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Luís Caires
发表
Domain-Aware Session Types
Bernardo Toninho, Frank Pfenning, Jorge A. Pérez, 2019, CONCUR.
An Exception Aware Behavioral Type System for Object-Oriented Programs
Luís Caires, 2009 .