BT

Your opinion matters! Please fill in the InfoQ Survey!

rss
Followers

Faith, Evolution, and Programming Languages

Posted by Philip Wadler  on  Aug 06, 2012 2 Posted by Philip Wadler Follow 2 Followers  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.

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT