20 citations · 96 across the 24 of their papers we have counts for
4 papers · 1 filter
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…
Session Types for Orchestrated Interactions
Franco Barbanera, Ugo de'Liguoro
In the setting of the pi-calculus with binary sessions, we aim at relaxing the notion of duality of session types by the concept of retractable compliance developed in contract the…
Intersection Types for the lambda-mu Calculus
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion. The system is obtained by describing Streicher and Reus…
Retractability, games and orchestrators for session contracts
Franco Barbanera, Ugo de'Liguoro
Session contracts is a formalism enabling to investigate client/server interaction protocols and to interpret session types. We extend session contracts in order to represent outpu…