Introduction to programming with dependent types in Scala (2018) Published -- Download video MP4 360p