HackerTube / Video
Invited Talk - Guy Steele
ClojureTV
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.
HN commenters recommend it whenever someone asks how to read type-system or CS notation in papers.
12 Hacker News mentions · 2017–2023