Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems

2019/04/21 by Michele Pagani, Sandra Alves · 6 citations
Computer Science · #cs.LO #cs.CC #cs.PL

paper · pdf · doi:10.4204/eptcs.293

published as EPTCS 293, 2019

arxiv created 2019/04/21 · arxiv updated 2019/04/23

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.

Cited by

• Intersection Types for Unboundedness Problems
• Natural Deduction and Normalization Proofs for the Intersection Type Discipline
• A Syntactic Model of Mutation and Aliasing
• Intersection Subtyping with Constructors
• A Category Theoretic Interpretation of Gandy's Principles for Mechanisms
• Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus

Related

• Proceedings Fifth Workshop on Intersection Types and Related Systems
• Proceedings 8th International Workshop on Developments in Computational Models
• Proceedings Sixth Workshop on Intersection Types and Related Systems
• Proceedings 9th International Workshop on Developments in Computational Models
• Proceedings Seventh Workshop on Intersection Types and Related Systems