VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

A
Asynchronous interaction
axiomatic logic
B
binders
C
Canonical structures
computational reflection
Coq
Coq 8.5
Coq/SSReflect
D
de Bruijn indices
E
Eclipse
Error-correcting codes
Explicit Substitutions
G
Gallina
H
Higher-order pattern unification
I
IDE
Information theory
interactive theorem proving
J
jEdit
L
Ltac
N
notations
P
Parallel computation
parallel substitutions
program verification
proof automation
Proof-Patterns
property based testing
Q
quickcheck
R
random testing
Recurrent Clustering
recursion
recursive tactics
Rewriting
S
SSReflect
strategies
T
tactics
typeclasses
U
Unification
universe polymorphism
universes