2017 ACM PPoPP Keynote: It's Time for a New Old Language
In brief
Guy Steele's PPoPP 2017 keynote surveying the history of computer science metanotation, including BNF, inference rules, and overline notation. He argues the field's notations are inconsistent and fragmented.