2
$\begingroup$

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?

$\endgroup$

migrated from cstheory.stackexchange.com Jul 22 '14 at 2:23

This question came from our site for theoretical computer scientists and researchers in related fields.

  • $\begingroup$ Should this be a wiki? $\endgroup$ – Andrej Bauer Jul 22 '14 at 6:56
  • $\begingroup$ @AndrejBauer: No; CW is dead in the water and has no clearly defined use case (anymore). $\endgroup$ – Raphael Jul 22 '14 at 7:50
  • 2
    $\begingroup$ Crazy thought: have you tried googling? $\endgroup$ – Raphael Jul 22 '14 at 7:50
  • $\begingroup$ I suggest you spend more time searching, and don't give up so easily. One simple search strategy is to pick 10 well-known universities, look at the list of courses they offer, look for one that is about programming languages and types, then check to see what textbook or lecture notes each one uses (e.g., by finding its web page), and see if they offer video lectures. This should be straightforward, and will avoid the problems with Googling "video lectures programming languages". You could also look on Coursera/Udacity. $\endgroup$ – D.W. Jul 22 '14 at 17:21
  • $\begingroup$ @Raphael Yes -- all of the Oregon Summer School results are targeted at a significantly higher level. Then there's a page from a CMU course (no course material online). Then there's this question. I checked Coursera and didn't find anything. These IIT Madras lectures seem to be okay (I had passed over them because freevideolectures.com didn't sound like a credible source), but still, it's not like there's an abundance of good material jumping out on the 1st page of Google. It's not like I didn't look. $\endgroup$ – Patrick Collins Jul 22 '14 at 23:12
5
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ That's what I was going to say. Great answer. I had trouble at first getting the videos to work with Internet Explorer, so I changed to another one and it worked. I don't believe they are compressed so be ready to have you bandwidth abused. $\endgroup$ – Guy Coder Jul 22 '14 at 17:52
  • $\begingroup$ Bob Harper is incompressible. $\endgroup$ – Andrej Bauer Jul 22 '14 at 20:48
  • $\begingroup$ I found (and watched) some of Bob Harper's lecture from 2012, but they're at a significantly higher level than TAPL -- the 2012 page lists TAPL as a prereq. $\endgroup$ – Patrick Collins Jul 22 '14 at 23:08
  • $\begingroup$ Yeah, the lectures cover more than TaPL, but it's the only online lectures I've seen which cover what is in TaPL. This is your best bet if you really want video lectures, but whichever way you cut it, there's no substitute for working through the examples in TaPL. $\endgroup$ – Pseudonym Jul 23 '14 at 5:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.