Session and Union Types for Object Oriented Programming

DOI10.1007/978-3-540-68679-8_41zbMath1143.68355OpenAlexW1524870711MaRDI QIDQ3507395

Betti Venneri, Sara Capecchi, Lorenzo Bettini, Mariangiola Dezani-Ciancaglini, Elena Giachino

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2158/319871

zbMATH Keywords

SessionsObject Oriented ProgrammingSession TypesUnion Types

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (3)

Contracts for Mobile Processes ⋮ Deriving session and union types for objects ⋮ Objects and session types

This page was built for publication: Session and Union Types for Object Oriented Programming