Invited Talk - Guy Steele
ClojureTV · 67:22 · Watch on YouTube
Guy Steele argues that programming language theorists already use an untyped, unstandardized but hugely popular programming language — "computer science meta-notation" of BNF, inference rules, substitution, overlines...