Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri. Deriving session and union types for objects.
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013, 23, pp.1163--1219.
⟨hal-00909312⟩