Functions as session-typed processes

DOI10.1007/978-3-642-28729-9_23MaRDI QIDQ2892782zbMATH OpenOpenAlexFDO

Authors Bernardo Toninho, Luís Caires, Frank Pfenning

Publication date 22 June 2012

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28729-9_23

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On polymorphic sessions and functions. A tale of two (fully abstract) encodings
• scientific article; zbMATH DE number 177812
• Session types as intuitionistic linear propositions
• Functions as processes
• scientific article; zbMATH DE number 1722647

Cited in

(7)

• On polymorphic sessions and functions. A tale of two (fully abstract) encodings
• Linearity, control effects, and behavioral types
• Evaluating functions as processes
• A universal session type for untyped asynchronous communication
• Non-blocking concurrent imperative programming with session types
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
• A subexponential view of domains in session types

Describes a project that uses

Uses Software

• Multilisp

This page was built for publication: Functions as session-typed processes

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