Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012

@inproceedings{GrahamLengrand2013ProceedingsSW,
  title={Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012},
  author={St'ephane Graham-Lengrand and Luca Paolini},
  booktitle={ITRS},
  year={2013}
}
  • St'ephane Graham-Lengrand, Luca Paolini
  • Published in ITRS 2013
  • Computer Science, Engineering
  • This volume contains the proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS 2012). The workshop was held in Dubrovnik (Croatia) on June 29th, 2012, affiliated to Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012). The ITRS workshop aims to bring 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, behavioural… CONTINUE READING

    Topics from this paper