EasyChair Smart SlideDocs/Log in
Conference: ITRS 2018 (Ninth Workshop on Intersection Types and Related Systems)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Intersection Types for Unboundedness Problems (ITRS invited talk)

Intersection Types for Unboundedness Problems (ITRS invited talk)

Paweł Parys

Strong normalization of simple types through uniform intersection types.

Strong normalization of simple types through uniform intersection types.

Simona Ronchi Della Rocca and Daniele Pautasso

Intersection Subtyping with Constructors

Intersection Subtyping with Constructors

Olivier Laurent

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

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

Giulio Guerrieri

Gradual Intersection Types

Gradual Intersection Types

Pedro Jorge Fernandes Ângelo and Mário Florido

On sets of terms with a given intersection type

On sets of terms with a given intersection type

Richard Statman

Presentations in this collection: 6
Copyright © 2002 – 2024 EasyChair