BT
rss

Faith, Evolution, and Programming Languages

Posted by Philip Wadler  on  Aug 06, 2012 2 Posted by Philip Wadler  on  Aug 06, 2012 2

Philip Wadler discusses second-order quantification, from its inception in the symbolic logic of Frege through to the generic features introduced in Java 5, touching on aspects of faith and evolution.

BT