On Wed, 26 Nov 2008 23:48:19 -0600, "Galchin, Vasili"
Hello,
I am reading re-reading Prof. Wadler paper Proofs are Programs: 19th Century Logic and 21st Century Computing but also want to re-read watch his video on same subject.....
???
There is a reference to the video in question at the following site, but the link seems to be broken: Proofs are Programs: 19th Century Logic and 21st Century Computing | Lambda the Ultimate http://lambda-the-ultimate.org/node/1447 The same link is also mentioned at the following site as well: Wadler: History of logic and programming languages http://homepages.inf.ed.ac.uk/wadler/topics/history.html The (broken) link mentioned at the above two sites is the following: TechNetCast Archives http://technetcast.ddj.com/tnc_catalog.html?item_id=1011 However, attempting to visit the above-mentioned site results in the following error message:
Query Failed1
Since the same URL is mentioned at both sites, this error is unlikely to be the result of a typo. Perhaps either the item was removed, or the hosting server is down? You may wish to try reaching the contact person for the site hosting the video, Dr. Dobb's TechNetCast (see http://technetcast.ddj.com/), at editors@ddj.com. -- Benjamin L. Russell