Effects as sessions, sessions as effects

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

zbMATH Keywords

encodingtype systemsPCFsession typesconcurrent Haskelleffect systems

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) 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