Proceedings Fifth Workshop on Intersection Types and Related Systems

Details Proceedings Fifth Workshop on Intersection Types and Related Systems Proceedings Fifth Workshop on Intersection Types and Related Systems

2011-01-21

arxiv.org/abs/1101.4104v1

EPTCS 45, 2011

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.45

This volume contains the proceedings of the Fifth International Workshop on Intersection Types and Related Systems (ITRS 2010). The workshop was held in Edinburgh, Scotland, on July 9th 2010, as part of FLoC 2010 and affiliated with LICS 2010. The ITRS workshop series aim at bringing together researchers working on both the theory and practical applications of systems based on intersection types and related approaches (e.g., union types, refinement types, behavioral types).

Affiliated with

Also associated with

No associations

Rating

Proceedings Fifth Workshop on Intersection Types and Related Systems 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 Proceedings Fifth Workshop on Intersection Types and Related Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings Fifth Workshop on Intersection Types and Related Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-18925