959,935 Mar unique visitors
New York 2014Jun 9 - Jun 13
San Francisco 2014Nov 3 - Nov 7
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
Forgot password ?
Back to login
Don't have a username ?