2017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele · 72:12 · Watch on YouTube
The talk argues that the informal inference-rule / BNF / substitution / overline / ellipsis notation used in programming-languages papers is actually the most widely used programming language in computer science — "co...