Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A C E F G I L M O P R S T U V

A
abstract machine	Abstract Self Modifying Machines
Algebraic effect	Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction
Algebraic effects	Programming and Verifying with Effect Handling and Iteration
annotated code	Abstract Self Modifying Machines
C
call-by-value	Call-by-Value in a Basic Logic for Interaction
CPS-translation	Call-by-Value in a Basic Logic for Interaction
E
effect handling	Programming and Verifying with Effect Handling and Iteration
F
first-order intermediate language	Call-by-Value in a Basic Logic for Interaction
G
Game Semantics	Tensorial logic with algebraic effects
Geometry of Interaction	Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction
I
infinite resumptions	Programming and Verifying with Effect Handling and Iteration
Innocent strategies	Tensorial logic with algebraic effects
Int construction	Call-by-Value in a Basic Logic for Interaction
intentional semantics	Abstract Self Modifying Machines
interactive theorem proving	A Cross-Language Framework for Verifying Compiler Optimizations
L
linear logic	Call-by-Value in a Basic Logic for Interaction
Local state monad	Tensorial logic with algebraic effects
M
Mnemoids	Tensorial logic with algebraic effects
O
optimizing compilers	A Cross-Language Framework for Verifying Compiler Optimizations
P
program transformations	A Cross-Language Framework for Verifying Compiler Optimizations
R
relaxed memory models	A Cross-Language Framework for Verifying Compiler Optimizations
S
self-modifying programs	Abstract Self Modifying Machines
stream transducer	Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction
T
temporal logic	A Cross-Language Framework for Verifying Compiler Optimizations
Tensorial logic	Tensorial logic with algebraic effects
U
uniform iterativity	Programming and Verifying with Effect Handling and Iteration
V
Visible strategies	Tensorial logic with algebraic effects