ITRS 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A C F H I L M Q R S T V

A
aliasing	Lucretia — intersection type polymorphism for scripting languages (PDF, talk)
Approximation theorem	Uniform Proofs of Normalisation and Approximation for Intersection Types (PDF, talk)
C
Composition Synthesis	Delegation-based Mixin Composition Synthesis (PDF, talk)
F
Finite model property	A Finite Model Property for Intersection Types (PDF, talk)
H
higher-order model-checking	Indexed linear logic and higher-order model checking (PDF, talk)
higher-order recursion schemes	Indexed linear logic and higher-order model checking (PDF, talk)
I
Inhabitation	Delegation-based Mixin Composition Synthesis (PDF, talk)
Intersection and Union Types	On Isomorphism of "Functional'' Intersection and Union Types (PDF, talk)
intersection type	Semantic Types for Classes and Mixins (PDF, talk)
intersection types	Delegation-based Mixin Composition Synthesis (PDF, talk) Indexed linear logic and higher-order model checking (PDF, talk) Uniform Proofs of Normalisation and Approximation for Intersection Types (PDF, talk) Liquid Intersection Types (PDF, talk) A Finite Model Property for Intersection Types (PDF, talk)
introspection	Lucretia — intersection type polymorphism for scripting languages (PDF, talk)
L
lambda calculus	On Isomorphism of "Functional'' Intersection and Union Types (PDF, talk)
linear logic	Indexed linear logic and higher-order model checking (PDF, talk)
Liquid types	Liquid Intersection Types (PDF, talk)
Logical annotations	Liquid Intersection Types (PDF, talk)
logical semantics	Semantic Types for Classes and Mixins (PDF, talk)
M
Mixin	Delegation-based Mixin Composition Synthesis (PDF, talk)
mixin inheritance	Semantic Types for Classes and Mixins (PDF, talk)
Q
Quantitative semantics	Indexed linear logic and higher-order model checking (PDF, talk)
R
Refinement types	Liquid Intersection Types (PDF, talk)
relational semantics	Indexed linear logic and higher-order model checking (PDF, talk)
rewriting techniques	A Finite Model Property for Intersection Types (PDF, talk)
S
scripting languages	Lucretia — intersection type polymorphism for scripting languages (PDF, talk)
sequent calculus	Uniform Proofs of Normalisation and Approximation for Intersection Types (PDF, talk)
Staged Computation	Delegation-based Mixin Composition Synthesis (PDF, talk)
Strong normalisation	Uniform Proofs of Normalisation and Approximation for Intersection Types (PDF, talk)
T
Type Isomorphism	On Isomorphism of "Functional'' Intersection and Union Types (PDF, talk)
Type systems	Liquid Intersection Types (PDF, talk)
V
verification	Indexed linear logic and higher-order model checking (PDF, talk)