Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Padovani11B (In proceedings)
Author(s) Luca Padovani
Title« Session Types = Intersection Types + Union Types »
InProceedings of the Workshop on Intersection Types and Related Systems (ITRS'10)
SeriesEPTCS
Volume45
Page(s)71-89
Year2011
PublisherOpen Publishing Association
URLhttp://www.di.unito.it/~padovani/Papers/SessionIntersectionUnion.pdf
Abstract
We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting theory overcomes some important defects of related behavioral theories. In particular, intersections and unions provide a native solution to the problem of computing joins and meets of session types. Also, the subtyping relation turns out to be a pre-congruence, while this is not always the case in related behavioral theories.

BibTeX code

@inproceedings{Padovani11B,
  volume = {45},
  author = {Luca Padovani},
  series = {EPTCS},
  booktitle = {Proceedings of the Workshop on Intersection Types and Related
               Systems (ITRS'10)},
  url = {http://www.di.unito.it/~padovani/Papers/SessionIntersectionUnion.pdf},
  abstract = { We propose a semantically grounded theory of session types which
              relies on intersection and union types. We argue that intersection
              and union types are natural candidates for modeling branching
              points in session types and we show that the resulting theory
              overcomes some important defects of related behavioral theories.
              In particular, intersections and unions provide a native solution
              to the problem of computing joins and meets of session types.
              Also, the subtyping relation turns out to be a pre-congruence,
              while this is not always the case in related behavioral theories.
              },
  title = {{Session Types = Intersection Types + Union Types}},
  publisher = {Open Publishing Association},
  year = {2011},
  pages = {71-89},
  doi = {10.4204/EPTCS.45.6},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!