4 citations · 9 across the 3 of their papers we have counts for
3 papers
Java & Lambda: a Featherweight Story
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini +2
We present FJ&, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, -expressions, and intersection…
Parallel Monitors for Self-adaptive Sessions
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes asso…
Proceedings Fifth Workshop on Intersection Types and Related Systems
Elaine Pimentel, Betti Venneri, Joe Wells
This volume contains the proceedings of the Fifth International Workshop on Intersection Types and Related Systems (ITRS 2010). The workshop was held in Edinburgh, Scotland, on Jul…