Re:Are unsound type systems wrong?
by gpm on Saturday April 07, 2018 @02:07PM
(#16781880)
My only real exposure to it is the course I took, csc438 at UofT taught by Steven Cook.
There are pretty complete notes for the course as well as assignments here [0], but not videos or planned lessons. You certainly could learn about it by reading them, but I don't know if it would be the most efficient way.
There are pretty complete notes for the course as well as assignments here [0], but not videos or planned lessons. You certainly could learn about it by reading them, but I don't know if it would be the most efficient way.
[0] http://www.cs.toronto.edu/~sacook/csc438h/