DCM/ITRS

2018201920182019

Keyphrases

Publications

volume 293, 2019

Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. DCM/ITRS 293 (2019)

2018

Pawel Parys
Intersection Types for Unboundedness Problems. DCM/ITRS (2018)
Olivier Laurent
Intersection Subtyping with Constructors. DCM/ITRS (2018)
Joseph Razavi, Andrea Schalk
A Category Theoretic Interpretation of Gandy's Principles for Mechanisms. DCM/ITRS (2018)
Giulio Guerrieri
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. DCM/ITRS (2018)
Federico Aschieri
Natural Deduction and Normalization Proofs for the Intersection Type Discipline. DCM/ITRS (2018)
Paola Giannini, Marco Servetto, Elena Zucca
A Syntactic Model of Mutation and Aliasing. DCM/ITRS (2018)