For my job, I need to pick up a working understanding of the implementation of type systems (in particular, how to write typing rules based on a design document). I've been given a copy of Types and Programming Languages and that's great, but I'd really like to watch someone work through it.In my school, the course that teaches this is called Programming Languages, but searching for video lectures programming languages turns up lots of stuff about how to learn C++, which I'm not interested in. I couldn't find anything on MIT Open Courseware. I'd really like video lectures that go through TAPL, but I'll settle for anything useful. Are there good resources out there?
Video lectures on type systems
reference request;type theory;education