VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program