Types in ML-Inspired Languages

July 31, 2019

I gave a talk at work today. Slides can be found here and the repository here