1610.06362.pdf (715.6 kB)
Download file

On sessions and infinite data

Download (715.6 kB)
journal contribution
posted on 27.02.2018, 12:27 by Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
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.

History

Citation

Logical Methods in Computer Science, 2017, 13 (2), pp. 1-39

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informatics

Version

VoR (Version of Record)

Published in

Logical Methods in Computer Science

Publisher

IfCoLog (International Federation of Computational Logic)

issn

1860-5974

Copyright date

2017

Available date

27/02/2018

Publisher version

https://lmcs.episciences.org/3725

Language

en