%0 Conference Proceedings
%T On Sessions and Infinite Data
%+ University of Leicester
%+ Università degli studi di Torino = University of Turin (UNITO)
%A Severi, Paula
%A Padovani, Luca
%A Tuosto, Emilio
%A Dezani-Ciancaglini, Mariangiola 
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 18th International Conference on Coordination Languages and Models (COORDINATION)
%C Heraklion, Greece
%Y Alberto Lluch Lafuente
%Y José Proença
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9686
%P 245-261
%8 2016-06-06
%D 2016
%R 10.1007/978-3-319-39519-7_15
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X We investigate some subtle issues that arise when programming distributed computations over infinite data structures. To do this, we formalise a calculus that combines a call-by-name functional core with session-based communication primitives and that allows session operations to be performed “on demand”. 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01631727/document
%2 https://inria.hal.science/hal-01631727/file/416253_1_En_15_Chapter.pdf
%L hal-01631727
%U https://inria.hal.science/hal-01631727
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-9686