Behavioral polymorphism and parametricity in session-based communication

DOI10.1007/978-3-642-37036-6_19MaRDI QIDQ5326294zbMATH OpenOpenAlexWikidataFDO

Authors Luís Caires, Jorge A. Pérez, Bernardo Toninho, Frank Pfenning

Publication date 5 August 2013

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37036-6_19

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An extensible approach to session polymorphism
• Behavioral equivalence in the polymorphic pi-calculus
• Session types as generic process types
• Nested session types
• Bounded polymorphism in session types

Cited in

(22)

• Polymorphic lambda calculus with context-free session types
• Nested session types
• Session coalgebras: a coalgebraic view on session types and communication protocols
• Multiparty session types as coherence proofs
• Session types revisited
• Corecursion and non-divergence in session-typed processes
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond
• On session types and polynomial time
• Linearity, control effects, and behavioral types
• A higher-order logic for concurrent termination-preserving refinement
• Linear logical relations and observational equivalences for session-based concurrency
• A universal session type for untyped asynchronous communication
• Session Types with Arithmetic Refinements
• Behavioral equivalence in the polymorphic pi-calculus
• An extensible approach to session polymorphism
• Domain-aware session types
• Polymorphic Session Processes as Morphisms
• Polymorphic higher-order context-free session types
• System \(F^\mu_\omega\) with context-free session types
• Safe session-based concurrency with shared linear state
• Comparing session type systems derived from linear logic
• EXPRESSing session types

This page was built for publication: Behavioral polymorphism and parametricity in session-based communication

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