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.

On sessions and infinite data

PADOVANI, Luca;DEZANI, Mariangiola
2016-01-01

Abstract

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.
2016
18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016
Heraklion, Crete
2016
Coordination Models and Languages
Springer Verlag
9686
245
261
9783319395180
9783319395180
Paula Severi; Luca Padovani; Emilio Tuosto; Mariangiola Dezani-Ciancaglini
File in questo prodotto:
File Dimensione Formato  
LazySessions.pdf

Open Access dal 07/06/2017

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 276.78 kB
Formato Adobe PDF
276.78 kB Adobe PDF Visualizza/Apri
2016 - COORDINATION - Severi Padovani Tuosto Dezani.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 517.04 kB
Formato Adobe PDF
517.04 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1610229
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 2
social impact