TALK KEYWORD INDEX

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

A | |

aliasing | |

Approximation theorem | |

C | |

Composition Synthesis | |

F | |

Finite model property | |

H | |

higher-order model-checking | |

higher-order recursion schemes | |

I | |

Inhabitation | |

Intersection and union types | |

intersection type | |

intersection types | |

introspection | |

L | |

lambda calculus | |

linear logic | |

Liquid types | |

Logical annotations | |

logical semantics | |

M | |

Mixin | |

mixin inheritance | |

Q | |

Quantitative semantics | |

R | |

Refinement types | |

relational semantics | |

rewriting techniques | |

S | |

scripting languages | |

sequent calculus | |

Staged Computation | |

Strong normalisation | |

T | |

type isomorphism | |

Type systems | |

V | |

verification |