Type systems: Lambda calculus to Hindley-Milner on YouTube by Adam Jones www.youtube.com/playlist?lis...
