VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

Shortcuts: ACFHILMQRSTV
A
aliasing
Approximation theorem
C
Composition Synthesis
F
Finite model property
H
higher-order model-checking
higher-order recursion schemes
I
Inhabitation
Intersection and union types
intersection type
intersection types
introspection
L
lambda calculus
linear logic
Liquid types
Logical annotations
logical semantics
M
Mixin
mixin inheritance
Q
Quantitative semantics
R
Refinement types
relational semantics
rewriting techniques
S
scripting languages
sequent calculus
Staged Computation
Strong normalisation
T
type isomorphism
Type systems
V
verification