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 |