On Sessions and Infinite Data

@article{Severi2017OnSA,
  title={On Sessions and Infinite Data},
  author={P. Severi and L. Padovani and E. Tuosto and M. Dezani-Ciancaglini},
  journal={Log. Methods Comput. Sci.},
  year={2017},
  volume={13}
}
  • P. Severi, L. Padovani, +1 author M. Dezani-Ciancaglini
  • Published 2017
  • Computer Science
  • Log. Methods Comput. Sci.
  • 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. 
    4 Citations
    On Sessions and Infinite Data
    • 1
    • PDF
    A Light Modality for Recursion
    • P. Severi
    • Computer Science, Mathematics
    • FoSSaCS
    • 2017
    • 8
    • PDF
    Choreography Automata
    • 1
    • PDF

    References

    SHOWING 1-10 OF 51 REFERENCES
    On Sessions and Infinite Data
    • 1
    • PDF
    A concurrent lambda calculus with futures
    • 74
    • PDF
    A Light Modality for Recursion
    • P. Severi
    • Computer Science, Mathematics
    • FoSSaCS
    • 2017
    • 8
    • PDF
    Sessions and Session Types: An Overview
    • 102
    • PDF
    Ultrametric Semantics of Reactive Programs
    • 79
    • PDF
    Alice through the looking glass
    • 51
    • PDF
    Deadlock and lock freedom in the linear π-calculus
    • 56
    • PDF
    A Semantics for Propositions as Sessions
    • 55
    • PDF