From Lock Freedom to Progress Using Session Types

by Luca Padovani
Published 2013-12-01

Session Types = Intersection Types + Union Types

by Luca Padovani
Published 2011-01-01

Session Types at the Mirror

by Luca Padovani
Published 2009-12-01

Concurrent Typestate-Oriented Programming in Java

by Rosita Gerbo, Luca Padovani
Published 2019-04-01

Polymorphic Endpoint Types for Copyless Message Passing

by Viviana Bono, Luca Padovani
Published 2011-07-01

Session Type Isomorphisms

by Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic
Published 2014-06-01