Found a great set of slides about early practice vs theory disputes (and their resolution via the mathematical study of PLs, programs, and their semantics) that

Found a great set of slides about early practice vs theory disputes (and their resolution via the mathematical study of PLs, programs, and their semantics) that I found ~looking for pdfs of one of the books Kay mentions: Advances in Programming and Non-Numerical Computation~ I mean searching the internet: https://www.cs.ox.ac.uk/strachey100/slides/2-JS.pdf https://www.cs.ox.ac.uk/strachey100/slides/2-JS.pdf