On Sessions and Infinite Data
Logic in Computer Science
2023-06-22 v3
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.
Cite
@article{arxiv.1610.06362,
title = {On Sessions and Infinite Data},
author = {Paula Severi and Luca Padovani and Emilio Tuosto and Mariangiola Dezani-Ciancaglini},
journal= {arXiv preprint arXiv:1610.06362},
year = {2023}
}
Comments
39 pages 6 files including .bbl