Session Types = Intersection Types + Union Types

Details Session Types = Intersection Types + Union Types Session Types = Intersection Types + Union Types

2011-01-24

arxiv.org/abs/1101.4429v1

EPTCS 45, 2011, pp. 71-89

Computer Science

Programming Languages

In Proceedings ITRS 2010, arXiv:1101.4104

Scientific paper

10.4204/EPTCS.45.6

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.

Affiliated with

Also associated with

No associations

Rating

Session Types = Intersection Types + Union Types does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Session Types = Intersection Types + Union Types, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Session Types = Intersection Types + Union Types will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-635566