Invited Talk - Guy Steele

What this video covers

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.

Why it surfaced in Hacker News

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

Recommendation context

Short excerpts from positive mentions. Open the source to read the full Hacker News discussion.

“Guy Steele gave a great talk a few years ago on”

“Guy Steele[0] is the definitive authority :-)”

“Excellent talk by Guy Steele explaining the history of maths/comp notations”