An extensible approach to session polymorphism

DOI10.1017/S0960129514000231zbMATH Open1361.68168MaRDI QIDQ5741569FDOQ5741569

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)

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

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)

Cites Work

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

Cited In (13)

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

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)