Higher-Order Processes, Functions, and Sessions: A Monadic Integration

DOI10.1007/978-3-642-37036-6_20zbMath1381.68063OpenAlexW1537467263MaRDI QIDQ5326295

Luís Caires, Bernardo Toninho, Frank Pfenning

Publication date: 5 August 2013

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37036-6_20

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (21)

Relating Functional and Imperative Session Types ⋮ Back to futures ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Separating Sessions Smoothly ⋮ Choreographies, logically ⋮ Unnamed Item ⋮ Algorithmic type checking for a pi-calculus with name matching and session types ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Linearity, Control Effects, and Behavioral Types ⋮ A Higher-Order Logic for Concurrent Termination-Preserving Refinement ⋮ Unnamed Item ⋮ On the concurrent computational content of intermediate logics ⋮ Unnamed Item ⋮ A message-passing interpretation of adjoint logic ⋮ Corecursion and Non-divergence in Session-Typed Processes ⋮ Session-typed concurrent contracts ⋮ Type-Based Analysis for Session Inference (Extended Abstract) ⋮ Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus ⋮ Prioritise the best variation

This page was built for publication: Higher-Order Processes, Functions, and Sessions: A Monadic Integration