Podcasts Technology Iowa Type Theory Commute Introduction to Intersection Types

Introduction to Intersection Types

Published: Feb. 9, 2021, 5 a.m.

b'

In a type system with intersection types, a term t that has type A and also has type B can be assigned the type 'A intersect B'. \\xa0 This episode begins Chapter 12 of the podcast on intersection types.

'