Category mistakes by Dijkstra, Hoare, and others
Lecture 2: "An Impossible Program: from Turing to Strachey"
Submitted by egdaylight on
Category mistakes by Dijkstra, Hoare, and others
Submitted by egdaylight on
Submitted by egdaylight on
Submitted by egdaylight on
Submitted by egdaylight on
Submitted by egdaylight on
Submitted by egdaylight on
Submitted by egdaylight on
Submitted by egdaylight on
Submitted by egdaylight on
Submitted by egdaylight on