Feb 27, 2016

Also, Backus' 1977 Turing Award lecture "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs" (http://worrydream.com/refs/Backus-CanProgrammingBeLiberated....) would be a good read.