5
Video of the Talk on Hindley Milner Type System (www.youtube.com)