FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Intersection Types for Unboundedness Problems (ITRS invited talk)

Paweł Parys

Intersection Subtyping with Constructors

Olivier Laurent

Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus

Giulio Guerrieri

Gradual Intersection Types

Pedro Jorge Fernandes Ângelo and Mário Florido

On sets of terms with a given intersection type

Richard Statman
Total: 5 presentations.