Lecture "Type Systems (Part 2, Languages)" of "Programming Paradigms"
Channel: Michael Pradel
Date: 25/05/2020

Lecture of the "Programming Paradigms" course at University of Stuttgart in summer semester 2020

See course page for more information:
http://software-lab.org/teaching/summer2020/pp/ 

Quizzes in Ilias:
https://ilias3.uni-stuttgart.de/goto_Uni_Stuttgart_fold_1939665.html