Search

• < Previous
• 1
• Next >

---

On the Preciseness of Subtyping in Session Types

Tzu-chun Chen ; Mariangiola Dezani-Ciancaglini ; Alceste Scalas ; Nobuko Yoshida.

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 usually provided as the soundness for type safety. The converse direction, the completeness, has been largely ignored in spite&nbsp;[&hellip;]

---

Mixin Composition Synthesis based on Intersection Types

Jan Bessai ; Tzu-Chun Chen ; Andrej Dudenhefner ; Boris Düdder ; Ugo de'Liguoro ; Jakob Rehof.

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 classes, are expressed as terms in a lambda calculus with records. Intersection types with records and record-merge are&nbsp;[&hellip;]

---