InfoQ Homepage Evolutionary Computation Content on InfoQ
Presentations
RSS Feed-
Faith, Evolution, and Programming Languages
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.
/presentations/Faith-Evolution-Programming-Languages/en/smallimage/Philip.JPG)