TALK KEYWORD INDEX

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

A | |

abstract machine | |

Algebraic effect | |

Algebraic effects | |

annotated code | |

C | |

call-by-value | |

CPS-translation | |

E | |

effect handling | |

F | |

first-order intermediate language | |

G | |

Game Semantics | |

Geometry of Interaction | |

I | |

infinite resumptions | |

Innocent strategies | |

Int construction | |

intentional semantics | |

interactive theorem proving | |

L | |

linear logic | |

Local state monad | |

M | |

Mnemoids | |

O | |

optimizing compilers | |

P | |

program transformations | |

R | |

relaxed memory models | |

S | |

self-modifying programs | |

stream transducer | |

T | |

temporal logic | |

Tensorial logic | |

U | |

uniform iterativity | |

V | |

Visible strategies |