Guy Steele on the History of Metanotation in Computer Science

HN commenters recommend it whenever someone asks how to read type-system or CS notation in papers.

Guy Steele's invited talk at Clojure/conj on the informal metanotation computer scientists use in papers to describe languages. He traces how this notation developed and why it is often unspecified and arcane.