BT

New Early adopter or innovator? InfoQ has been working on some new features for you. Learn more

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