FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

A
Agda
C
call-by-push-value
category
compiler verification
concurrency
Coq
D
denotational semantics
destructors
E
equational theory
Event structures
exceptions
F
finitely partitioned trees
functorial spans
G
Game semantics
graded monads
graph rewriting
H
heaps
I
intermediate representations
intuitionistic linear logic
L
linear logic
M
Minsky machines
O
operational semantics
P
Post Correspondence Problem
program transformations
Q
quantified effects
R
RAII
Reduction
references
resource management
resource modality
S
simulation
symmetric monoidal closed bicategories
T
type-and-effect-systems
U
undecidability
W
Weak Memory