Effects as sessions, sessions as effects
From MaRDI portal
Publication:2828297
DOI10.1145/2837614.2837634zbMath1347.68055OpenAlexW2295577580MaRDI QIDQ2828297
Nobuko Yoshida, Dominic A. Orchard
Publication date: 24 October 2016
Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10044/1/33343
Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatory logic and lambda calculus (03B40)
Related Items (12)
Comprehending Ringads ⋮ Unnamed Item ⋮ Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) ⋮ Separating Sessions Smoothly ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Linearity, Control Effects, and Behavioral Types ⋮ Unnamed Item ⋮ A Sound Algorithm for Asynchronous Session Subtyping ⋮ On the relative expressiveness of higher-order session processes ⋮ On the Relative Expressiveness of Higher-Order Session Processes ⋮ Session types without sophistry. System description
This page was built for publication: Effects as sessions, sessions as effects