On sessions and infinite data

DOI10.23638/LMCS-13(2:9)2017MaRDI QIDQ5270091zbMATH OpenOpenAlexFDO

Authors Luca Padovani, Mariangiola Dezani-Ciancaglini, Paula Severi, Emilio Tuosto

Publication date 22 June 2017

Full work available at URL https://arxiv.org/abs/1610.06362

zbMATH Keywords

\(\pi\)-calculusinfinite datasession typestype safety

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)

Abstract: We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisation of expressions and progress of processes and that uncovers an unexpected interplay between evaluation and communication.

Recommendations

• Fundamentals of session types
• Subtyping for session types in the pi calculus
• CONCUR 2004 - Concurrency Theory
• Session Types with Gradual Typing
• Session types as intuitionistic linear propositions

Cited in

(3)

• Corecursion and non-divergence in session-typed processes
• Behavioural analysis of sessions using the calculus of structures
• The different shades of infinite session types

Describes a project that uses

Uses Software

• ML
• Multilisp

This page was built for publication: On sessions and infinite data

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