research
∙
09/15/2023
A Two-Level Linear Dependent Type Theory
We present a type theory combining both linearity and dependency by stra...
share
research
∙
09/04/2023
Multirole Logic and Multiparty Channels
We identify multirole logic as a new form of logic in which conjunction/...
research
∙
10/29/2018
To Memory Safety through Proofs
We present a type system capable of guaranteeing the memory safety of pr...
research
∙
10/29/2018
Implementing Linking in Multiparty Sessions (Extended Abstract)
The fast growth of service-oriented programming (SOP) is evident in this...
research
∙
07/31/2018