Backus Turing Lecture: Can Programming be Liberated from the Von Neumann Style?
thocp.net