• DOI:10.23638/LMCS-13(2:9)2017
Corpus ID: 15383385

On Sessions and Infinite Data

@article{Severi2017OnSA,
  title={On Sessions and Infinite Data},
  author={P. Severi and L. Padovani and E. Tuosto and M. Dezani-Ciancaglini},
  journal={Log. Methods Comput. Sci.},
  year={2017},
  volume={13}
}

P. Severi, L. Padovani, +1 author M. Dezani-Ciancaglini

Published 2017

Computer Science

Log. Methods Comput. Sci.

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed

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.