VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

A
Agda
avoidability
C
coercions
Coinductive Types
Coq
D
datatypes à la carte
dependent type theory
dependent types
dependently typed languaged
Dependently-typed programming
E
editing
F
Formal verification
formalization
functional programming
G
generic programming
H
Hardware design
I
IDE
intensional Martin-Löf type theory
L
linear algebra
M
mathematics education
meaning explanations
mereology
N
non-linear optimization
O
ornament
P
parallel composition
part-whole
programming
proving
R
reachability
real analyis
S
Scrap Your Boilerplate
semantics
sequential decision problems
subsumption
T
terminal semantics
Type systems
type theory
type-directed editing
types
V
viability