ITRS 2014 PROCEEDINGS

Editors: Jakob Rehof and Moritz Martens

Authors	Title	Talk
Marcin Benke, Viviana Bono and Aleksy Schubert	Lucretia — intersection type polymorphism for scripting languages	Jul 18 14:30
Jan Bessai, Boris Düdder, Andrej Dudenhefner and Moritz Martens	Delegation-based Mixin Composition Synthesis	Jul 18 17:00
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria and Maddalena Zacchi	On Isomorphism of "Functional'' Intersection and Union Types	Jul 18 11:15
Ugo De Liguoro and Tzu-Chun Chen	Semantic Types for Classes and Mixins	Jul 18 16:30
Charles Grellois and Paul-André Melliès	Indexed linear logic and higher-order model checking	Jul 18 12:30
Kentaro Kikuchi	Uniform Proofs of Normalisation and Approximation for Intersection Types	Jul 18 12:00
Mário Pereira, Sandra Alves and Mário Florido	Liquid Intersection Types	Jul 18 15:00
Richard Statman	A Finite Model Property for Intersection Types	Jul 18 10:45