Invited Talk - Guy Steele

Caption notes

Guy Steele treats the grammar, inference rules, and other notation used to describe programming languages in computer science papers as a language worth studying in its own right. He points out that authors sometimes reverse the two operands in substitution notation, leaving readers unsure which replaces which. He also proposes pairing an underline with the overline used for repetition, to mark a part that should expand the same way in every copy.