On Sessions and Infinite Data

DOI10.23638/LMCS-13(2:9)2017zbMath1448.68211arXiv1610.06362OpenAlexW3105546617MaRDI QIDQ5270091

Mariangiola Dezani-Ciancaglini, Luca Padovani, Emilio Tuosto, Paula G.Severi

Publication date: 22 June 2017

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

zbMATH Keywords

\(\pi\)-calculussession typestype safetyinfinite data

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)

Related Items (1)

A Light Modality for Recursion

Uses Software

• ML
• Multilisp

This page was built for publication: On Sessions and Infinite Data