2008/11/27 Galchin, Vasili <[EMAIL PROTECTED]>: > 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..... > Is it this talk you're after? http://video.google.com/videoplay?docid=-4167170843018186532&ei=sI0uSZT7Faf22gKd9NTqDQ&q=wadler+philip
Cheers, Josef _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
