VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
aliasing	Lucretia — intersection type polymorphism for scripting languages
Approximation theorem	Uniform Proofs of Normalisation and Approximation for Intersection Types
C
Composition Synthesis	Delegation-based Mixin Composition Synthesis
F
Finite model property	A Finite Model Property for Intersection Types
H
higher-order model-checking	Indexed linear logic and higher-order model checking
higher-order recursion schemes	Indexed linear logic and higher-order model checking
I
Inhabitation	Delegation-based Mixin Composition Synthesis
Intersection and union types	On Isomorphism of "Functional'' Intersection and Union Types
intersection type	Semantic Types for Classes and Mixins
intersection types	Uniform Proofs of Normalisation and Approximation for Intersection Types Indexed linear logic and higher-order model checking A Finite Model Property for Intersection Types Liquid Intersection Types Delegation-based Mixin Composition Synthesis
introspection	Lucretia — intersection type polymorphism for scripting languages
L
lambda calculus	On Isomorphism of "Functional'' Intersection and Union Types
linear logic	Indexed linear logic and higher-order model checking
Liquid types	Liquid Intersection Types
Logical annotations	Liquid Intersection Types
logical semantics	Semantic Types for Classes and Mixins
M
Mixin	Delegation-based Mixin Composition Synthesis
mixin inheritance	Semantic Types for Classes and Mixins
Q
Quantitative semantics	Indexed linear logic and higher-order model checking
R
Refinement types	Liquid Intersection Types
relational semantics	Indexed linear logic and higher-order model checking
rewriting techniques	A Finite Model Property for Intersection Types
S
scripting languages	Lucretia — intersection type polymorphism for scripting languages
sequent calculus	Uniform Proofs of Normalisation and Approximation for Intersection Types
Staged Computation	Delegation-based Mixin Composition Synthesis
Strong normalisation	Uniform Proofs of Normalisation and Approximation for Intersection Types
T
type isomorphism	On Isomorphism of "Functional'' Intersection and Union Types
Type systems	Liquid Intersection Types
V
verification	Indexed linear logic and higher-order model checking

Disclaimer | Powered by EasyChair Smart Program