MainScienceMathLogic and Foundations › Wadler, Philip

Wadler, Philip

Edit Page
Report
Scan day: 05 March 2014 UTC
3
Virus safety - good
Description: University of Edinburgh, UK.
Professor of Theoretical Computer Science, , Chair (2009–2012), Past Chair (2012–2015). , Basking Ridge, Researcher (2000–2003). , Murray Hill, Researcher (1996–2000).
Size: 207 chars

Contact Information

Email:
Phone&Fax:
Address:
Extended:

WEBSITE Info

Page title:Philip Wadler's home page
Keywords:Philip Wadler, Phil Wadler, programming languages, Java generics, generics, XML, XQuery, XSLT, functional programming, Journal of Functional Programming, Contracts, Blame, web programming, database programming, Links, Haskell, GJ, Pizza, Java, Erlang, Deforestation, Monads, Linear Logic, Logic, Types
Description:
IP-address:129.215.32.13