SkillsCast

A Type-ical Case Study: The Sound Type-Indexed Type Checker

10th October 2019 in London

There are 34 other SkillsCasts available from Haskell eXchange 2019