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 DataArticle

Authors: Paula Severi ; Luca Padovani ORCID; 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.

    Comment: 39 pages 6 files including .bbl

    https://doi.org/10.23638/LMCS-13(2:9)2017
    Source: arXiv.org:1610.06362
    Volume: Volume 13, Issue 2
    Published on: June 20, 2017
    Imported on: June 20, 2017
    Keywords: Computer Science - Logic in Computer Science
    Licence: arXiv.org - Non-exclusive license to distribute
    Funding:
      Source : OpenAIRE Graph
    • Scalable Hybrid Variability for Distributed Evolving Software Systems; Funder: European Commission; Code: 644298
    • REfactoring Parallel Heterogeneous Resource-Aware Applications - a Software Engineering Approach; Funder: European Commission; Code: 644235

    1 Document citing this article

    Share and export

    Consultation statistics

    This page has been seen 2171 times.
    This article's PDF has been downloaded 3235 times.