Session types = intersection types + union types

MaRDI QIDQ4964693zbMATH OpenFDO

Authors Luca Padovani

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1101.4429, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ITRS2010.6

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Session types at the mirror
• A semantic deconstruction of session types
• Session Types with Gradual Typing
• Session types revisited
• On projecting processes into session types

Cited in

(9)

• Global types with internal delegation
• Event-based run-time adaptation in communication-centric systems
• Self-adaptation and secure information flow in multiparty communications
• A semantic deconstruction of session types
• A logical account of subtyping for session types
• Session types at the mirror
• Partially typed multiparty sessions with internal delegation
• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• Reversible multiparty sessions with checkpoints

This page was built for publication: Session types = intersection types + union types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4964693)