1,023,962 Dec unique visitors
London 2015Mar 2 - Mar 6
New York 2015Jun 08 - Jun 12
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.
Subscribe to our Weekly email newsletter to follow all new content on InfoQ
Personalize Your Main Interests
This affects what content you see on the homepage & your RSS feed. Click preferences to access more fine-grained personalization.
Forgot password ?
Back to login
Don't have a username ?