TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
A | |
aggregation | |
B | |
Bang Calculus | |
Bidirectional transformation | |
C | |
Call-by-Push-Value | |
concolic testing | |
constraint solving | |
cut elimination | |
cyclic proof system | |
D | |
database | |
declarative programming | |
DSL | |
E | |
e-learning | |
Efficiency | |
equational reasoning | |
F | |
Functional languages | |
G | |
grouping | |
H | |
Higher-order logic programming | |
I | |
implementation | |
Implementation technique | |
interpreter | |
Intersection Types | |
L | |
lambda-calculus | |
language design | |
language transformation | |
language-integrated query | |
Language-oriented programming | |
linear logic | |
logic programming | |
M | |
monad | |
N | |
nested data structures | |
nondeterminism | |
normalization | |
O | |
Optimization | |
P | |
polynomial time | |
process calculus | |
program derivation | |
Q | |
quicksort | |
R | |
real numbers | |
rewriting | |
S | |
sat | |
semantics | |
separation logic | |
smt | |
staging | |
state | |
T | |
testing | |
Tupling | |
type inference | |
type isomorphisms | |
type system |