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.
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.
