13 citations · 27 across the 3 of their papers we have counts for
3 papers
On Isomorphism of "Functional" Intersection and Union Types
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria +1
Type isomorphism is useful for retrieving library components, since a function in a library can have a type different from, but isomorphic to, the one expected by the user. Moreove…
Compliance for reversible client/server interactions
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro
In the setting of session behaviours, we study an extension of the concept of compliance when a disciplined form of backtracking is present. After adding checkpoints to the syntax…
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
We present initial results on a comprehensive model of structured communications, in which self- adaptation and security concerns are jointly addressed. More specifically, we propo…