Robert Harper. Programming Languages: The Essence of Computer Science. University of Washington Distinguished Lecture Series, October, 2002.
Another interesting talk from Robert Harper.
The first ten slides or so set the stage for what's to come, painting a background familiar to LtU readers: CS Is About Programming, Programming Is Linguistic, Languages Abound, It takes decades to go from research to practice, Type theory as the GUT of PLís.
Harper then goes on to talk about type systems, types in compilation, typed intermediate languages, TAL, type for low- and high-level languages (including verifying invariants) and dependent types.
Packed full with insights.
Posted to theory by Ehud Lamm on 11/15/02; 3:17:18 AM