Proceedings of the fifth workshop on intersection types and related systems, Edinburgh, UK, July 9, 2010

DOI10.4204/EPTCS.45zbMATH Open1415.68044arXiv1101.4104OpenAlexW1967527092MaRDI QIDQ4968487FDOQ4968487

Authors:

Publication date: 12 July 2019

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Abstract: 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).

Full work available at URL: https://arxiv.org/abs/1101.4104

Recommendations

• Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012
• Proceedings of the twelfth workshop on developments in computational models and ninth workshop on intersection types and related systems, DCM 2018 and ITRS 2018, Oxford, UK, July 8, 2018
• Selected papers from dependently typed programming 2010 -- overview
• Proceedings of the tenth international workshop on fixed points in computer science, FICS 2015, Berlin, Germany, September 11--12, 2015
• Intersection typed \(\lambda \)-calculus

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Functional programming and lambda calculus (68N18)

Cited In (4)

• Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012
• Selected papers from dependently typed programming 2010 -- overview
• Title not available (Why is that?)
• Proceedings of the twelfth workshop on developments in computational models and ninth workshop on intersection types and related systems, DCM 2018 and ITRS 2018, Oxford, UK, July 8, 2018

This page was built for publication: Proceedings of the fifth workshop on intersection types and related systems, Edinburgh, UK, July 9, 2010

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4968487)