Dependent Types: Level Up Your Types - Syfrig, Marco (My University, 2017)
Keywords: Performance; Unit-Testing; Programming Languages