Compositional

Subsumption and impredicative types with Richard Eisenberg



November 10th, 2020  •  43 mins 8 secs  •  Download (41.7 MB)  •  Link with Timestamp

RSS Feed

Roman Cheplyaka talks to Richard Eisenberg about the recent changes in GHC's type checker.