Paula Severi ; Luca Padovani ; Emilio Tuosto ; Mariangiola Dezani-Ciancaglini - On Sessions and Infinite Data

lmcs:2177 - Logical Methods in Computer Science, June 20, 2017, Volume 13, Issue 2 - https://doi.org/10.23638/LMCS-13(2:9)2017
On Sessions and Infinite Data

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


    Volume: Volume 13, Issue 2
    Published on: June 20, 2017
    Accepted on: June 20, 2017
    Submitted on: June 20, 2017
    Keywords: Computer Science - Logic in Computer Science

    Share

    Consultation statistics

    This page has been seen 787 times.
    This article's PDF has been downloaded 645 times.