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.
Paula, S., Padovani, L., Emilio, T., Dezani, M. (2017). On Sessions and Infinite Data. LOGICAL METHODS IN COMPUTER SCIENCE, 13(2:9), 1-45 [10.23638/LMCS-13(2:9)2017].
On Sessions and Infinite Data
PADOVANI, Luca;
2017
Abstract
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
