Philip WadlerのOOPSLA基調講演

http://homepages.inf.ed.ac.uk/wadler/topics/gj.html#oopsla
(via http://wadler.blogspot.com/2006/11/faith-evolution-and-programming.html)

ゲンツェンのnatural deductionからChurchのλ計算、Curry-Howard同型、Haskellのtype class (?)、Javaのgenerics、そしてWadler自身のLinksまで、「信仰」と「進化」の歴史。Wadlerの講演はいつも（いろいろな意味で）おもしろい。エンターテイナーである。