Richard Eisenberg has been a guest on 1 episode.
-
Subsumption and impredicative types with Richard Eisenberg
November 10th, 2020 | 43 mins 8 secs
ghc, haskell
Roman Cheplyaka talks to Richard Eisenberg about the recent changes in GHC's type checker.