TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
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 |