35 citations · 41 across the 5 of their papers we have counts for
5 papers
Stateful Behavioral Types for ABS
Eduard Kamburjan, Tzu-Chun Chen
It is notoriously hard to correctly implement a multiparty protocol which involves asynchronous/concurrent interactions and the constraints on states of multiple participants. To a…
Mixin Composition Synthesis based on Intersection Types
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner +3
We present a method for synthesizing compositions of mixins using type inhabitation in intersection types. First, recursively defined classes and mixins, which are functions over c…
On the Preciseness of Subtyping in Session Types
Tzu-chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas +1
Subtyping in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. The correctness of subtyping relations has been usuall…
Typing Classes and Mixins with Intersection Types
Jan Bessai, Boris Düdder, Andrej Dudenhefner +2
We study an assignment system of intersection types for a lambda-calculus with records and a record-merge operator, where types are preserved both under subject reduction and expan…
Lightening Global Types
Tzu-chun Chen
Global session types prevent participants from waiting for never coming messages. Some interactions take place just for the purpose of informing receivers that some message will ne…