ITRS 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D F G K M P S Z

A
Alves, Sandra	Liquid Intersection Types (PDF, talk)
B
Benke, Marcin	Lucretia — intersection type polymorphism for scripting languages (PDF, talk)
Bessai, Jan	Delegation-based Mixin Composition Synthesis (PDF, talk)
Bono, Viviana	Lucretia — intersection type polymorphism for scripting languages (PDF, talk)
C
Chen, Tzu-Chun	Semantic Types for Classes and Mixins (PDF, talk)
Coppo, Mario	On Isomorphism of "Functional'' Intersection and Union Types (PDF, talk)
D
De Liguoro, Ugo	Semantic Types for Classes and Mixins (PDF, talk)
Dezani-Ciancaglini, Mariangiola	On Isomorphism of "Functional'' Intersection and Union Types (PDF, talk)
Dudenhefner, Andrej	Delegation-based Mixin Composition Synthesis (PDF, talk)
Düdder, Boris	Delegation-based Mixin Composition Synthesis (PDF, talk)
F
Florido, Mário	Liquid Intersection Types (PDF, talk)
G
Grellois, Charles	Indexed linear logic and higher-order model checking (PDF, talk)
K
Kikuchi, Kentaro	Uniform Proofs of Normalisation and Approximation for Intersection Types (PDF, talk)
M
Margaria, Ines	On Isomorphism of "Functional'' Intersection and Union Types (PDF, talk)
Martens, Moritz	Delegation-based Mixin Composition Synthesis (PDF, talk)
Melliès, Paul-André	Indexed linear logic and higher-order model checking (PDF, talk)
P
Pereira, Mário	Liquid Intersection Types (PDF, talk)
S
Schubert, Aleksy	Lucretia — intersection type polymorphism for scripting languages (PDF, talk)
Statman, Richard	A Finite Model Property for Intersection Types (PDF, talk)
Z
Zacchi, Maddalena	On Isomorphism of "Functional'' Intersection and Union Types (PDF, talk)