For my job, I need to pick up a working understanding of the implementation of t
ID: 651640 • Letter: F
Question
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?
Explanation / Answer
If you poke around the Oregon Programming Languages Summer School web site you should find a lot of video lectures on the topic, given by the leaders in the area. For instance, see Robert Harper's "Type Theory Foundations" on the curriculum page.
Related Questions
Navigate
Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.