Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
Michele Pagani (IRIF, Universit\'e Paris Diderot, France), Sandra, Alves (Porto University)
TL;DR
This volume compiles selected papers from two workshops focusing on advances in computational models and intersection types, highlighting recent research developments in these theoretical computer science areas.
Contribution
It presents a curated collection of recent research papers that advance understanding of computational models and intersection type systems.
Findings
New theoretical frameworks for computational models
Innovative applications of intersection types
Enhanced understanding of type systems in programming languages
Abstract
This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection Types and Related Systems (ITRS 2018), held on July 8, 2018 in Oxford, in affiliation with FLOC 2018.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.