An extensible approach to session polymorphism

DOI10.1017/S0960129514000231MaRDI QIDQ5741569zbMATH OpenFDO

Authors Matthew Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, J. Riely

Publication date 28 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Session types as generic process types
• Session types revisited
• Bounded polymorphism in session types
• Behavioral polymorphism and parametricity in session-based communication
• CONCUR 2004 - Concurrency Theory

Cites work

• A Coq library for verification of concurrent programs
• A New Type System for Deadlock-Free Processes
• A calculus of mobile processes. I
• Asynchronous Session Types and Progress for Object Oriented Languages
• Behavioral polymorphism and parametricity in session-based communication
• Bounded polymorphism in session types
• Correspondence assertions for process synchronization in concurrent communications
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Linear type theory for asynchronous session types
• Session types as intuitionistic linear propositions
• Subtyping for session types in the pi calculus
• The locally nameless representation
• Trace-based verification of imperative programs with I/O
• Type checking a multithreaded functional language with session types
• \(\pi\)-calculus in (Co)inductive-type theory

Cited in

(13)

• Amalgamating sessions and methods in object-oriented languages with generics
• \( \pi\) with leftovers: a mechanisation in Agda
• Polymorphic Session Processes as Morphisms
• Depending on session-typed processes
• Polymorphic lambda calculus with context-free session types
• Bounded polymorphism in session types
• Behavioral polymorphism and parametricity in session-based communication
• On polymorphic sessions and functions. A tale of two (fully abstract) encodings
• Globally Governed Session Semantics
• Nested session types
• Session types as generic process types
• Typing the behavior of software components using session types
• scientific article; zbMATH DE number 5662534 (Why is no real title available?)

Describes a project that uses

Uses Software

• Coq

This page was built for publication: An extensible approach to session polymorphism

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