Lecture "Type Systems (Part 4, Equivalence)" of "Programming Paradigms"
Channel: Michael Pradel
Date: 2020-05-25

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