metanotation

Play all on YouTube

No strong matches for “metanotation”. Here are the closest videos.

Invited Talk - Guy Steele

Invited Talk - Guy Steele

39K views • 9 years ago

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.

2017 ACM PPoPP Keynote: It's Time for a New Old Language

2017 ACM PPoPP Keynote: It's Time for a New Old Language

7K views • 9 years ago

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.