VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

A
Abstract Machines	Distilling Abstract Machines
C
compiler construction	Experience with Higher Order Rewriting from the Compiler Teaching Trenches
critical peak	Feebly not weakly
critically trivial	Feebly not weakly
D
dynamic pattern calculus	The dynamic pattern calculus as a higher-order pattern rewriting system
E
embedding	The dynamic pattern calculus as a higher-order pattern rewriting system
Explicit Substitutions	Distilling Abstract Machines
F
feeble orthogonality	Feebly not weakly
formalisms	Experience with Higher Order Rewriting from the Compiler Teaching Trenches
G
geometric	Feebly not weakly
L
linear	Feebly not weakly
linear logic	Distilling Abstract Machines
O
orthogonalisation	Feebly not weakly
P
pattern	Feebly not weakly
R
Rewriting	Distilling Abstract Machines
T
teaching	Experience with Higher Order Rewriting from the Compiler Teaching Trenches
transfer of meta-theory	The dynamic pattern calculus as a higher-order pattern rewriting system
U
Unification	Feebly not weakly

Disclaimer | Powered by EasyChair Smart Program