Programming Language Theory (PLT) - Part 1 - Dave Laing
This talk is about the concepts and techniques you're likely to come across if you want to stick your nose into PLT related literature or blog posts.
This can be intimidating stuff if you come across it in a paper and don't have some help to guide you through the notation and terminology, so hopefully this talk will make this area less scary.
We'll start with a simple arithmetic language and work through to simply typed lambda calculus.
Along the way we'll cover the details of small-step semantics and type systems, along with the various properties that are often talked about in the literature and why they're important.
(If this looks familiar, that is because a longer and more intense version of this talk has been given in the past - the goal this time is to break things up into multiple talks and to go through more content in more depth.)