[Haskell-cafe] Re: Philip Wadler video on Howard-Curry Correspondence ???

2008-11-27 Thread Benjamin L . Russell
Incidentally, Haskell is mentioned several times in the Dr. Dobbs Journal article on the Wadler paper: Dr. Dobb's | Old ideas form the basis of advancements in functional programming | 12 1, 2000 http://www.ddj.com/showArticle.jhtml?articleID=184404384 Specifically: Languages that took more

[Haskell-cafe] Re: Philip Wadler video on Howard-Curry Correspondence ???

2008-11-27 Thread Benjamin L . Russell
On Wed, 26 Nov 2008 23:48:19 -0600, Galchin, Vasili [EMAIL PROTECTED] wrote: 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