https://podcasts.ox.ac.uk/index.php/gradual-typing-union-and-intersection-types
Gradual Typing with Union and Intersection Types | University of Oxford Podcasts
Co-written by Giuseppe Castagna (CNRS, University of Paris Diderot).
university of oxfordgradual typingintersection typesunion