Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Philip_Wadler> ?p ?o }
- Philip_Wadler abstract "Philip Lee \"Phil\" Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and the XQuery declarative query language. In 1984, he created the Orwell programming language. Wadler was involved in adding generic types to Java 5.0. He is also author of the paper \"Theorems for free!\" that gave rise to much research on functional language optimization (see also Parametricity).".
- Philip_Wadler almaMater Carnegie_Mellon_University.
- Philip_Wadler almaMater Stanford_University.
- Philip_Wadler award Association_for_Computing_Machinery.
- Philip_Wadler award Royal_Society_of_Edinburgh.
- Philip_Wadler birthDate "1956-04-08".
- Philip_Wadler birthName "Philip Lee Wadler".
- Philip_Wadler doctoralAdvisor Nico_Habermann.
- Philip_Wadler field Programming_language.
- Philip_Wadler thumbnail Wadler2.JPG?width=300.
- Philip_Wadler wikiPageExternalLink wadler.
- Philip_Wadler wikiPageExternalLink 303342238.
- Philip_Wadler wikiPageExternalLink wadler.blogspot.com.
- Philip_Wadler wikiPageID "2830383".
- Philip_Wadler wikiPageLength "9710".
- Philip_Wadler wikiPageOutDegree "73".
- Philip_Wadler wikiPageRevisionID "705942183".
- Philip_Wadler wikiPageWikiLink Association_for_Computing_Machinery.
- Philip_Wadler wikiPageWikiLink Avaya.
- Philip_Wadler wikiPageWikiLink Bachelor_of_Science.
- Philip_Wadler wikiPageWikiLink Bell_Labs.
- Philip_Wadler wikiPageWikiLink Carnegie_Mellon_University.
- Philip_Wadler wikiPageWikiLink Category:1956_births.
- Philip_Wadler wikiPageWikiLink Category:Academic_journal_editors.
- Philip_Wadler wikiPageWikiLink Category:Academics_of_the_University_of_Edinburgh.
- Philip_Wadler wikiPageWikiLink Category:Academics_of_the_University_of_Glasgow.
- Philip_Wadler wikiPageWikiLink Category:American_computer_scientists.
- Philip_Wadler wikiPageWikiLink Category:American_expatriates_in_the_United_Kingdom.
- Philip_Wadler wikiPageWikiLink Category:American_male_writers.
- Philip_Wadler wikiPageWikiLink Category:American_textbook_writers.
- Philip_Wadler wikiPageWikiLink Category:British_computer_scientists.
- Philip_Wadler wikiPageWikiLink Category:Carnegie_Mellon_University_alumni.
- Philip_Wadler wikiPageWikiLink Category:Computer_science_writers.
- Philip_Wadler wikiPageWikiLink Category:Fellows_of_St_Cross_College,_Oxford.
- Philip_Wadler wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Philip_Wadler wikiPageWikiLink Category:Fellows_of_the_Royal_Society_of_Edinburgh.
- Philip_Wadler wikiPageWikiLink Category:Formal_methods_people.
- Philip_Wadler wikiPageWikiLink Category:Functional_programming.
- Philip_Wadler wikiPageWikiLink Category:Living_people.
- Philip_Wadler wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Philip_Wadler wikiPageWikiLink Category:Programming_language_researchers.
- Philip_Wadler wikiPageWikiLink Category:Scientists_at_Bell_Labs.
- Philip_Wadler wikiPageWikiLink Category:Stanford_University_alumni.
- Philip_Wadler wikiPageWikiLink Chalmers_University_of_Technology.
- Philip_Wadler wikiPageWikiLink Computer_scientist.
- Philip_Wadler wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Philip_Wadler wikiPageWikiLink Doctor_of_Philosophy.
- Philip_Wadler wikiPageWikiLink Functional_programming.
- Philip_Wadler wikiPageWikiLink Generic_programming.
- Philip_Wadler wikiPageWikiLink Haskell_(programming_language).
- Philip_Wadler wikiPageWikiLink Java_(programming_language).
- Philip_Wadler wikiPageWikiLink Journal_of_Functional_Programming.
- Philip_Wadler wikiPageWikiLink Links_(programming_language).
- Philip_Wadler wikiPageWikiLink Lucent.
- Philip_Wadler wikiPageWikiLink Master_of_Science.
- Philip_Wadler wikiPageWikiLink Mathematics.
- Philip_Wadler wikiPageWikiLink Monad_(functional_programming).
- Philip_Wadler wikiPageWikiLink Nico_Habermann.
- Philip_Wadler wikiPageWikiLink Orwell_(programming_language).
- Philip_Wadler wikiPageWikiLink Parametricity.
- Philip_Wadler wikiPageWikiLink Programming_Research_Group.
- Philip_Wadler wikiPageWikiLink Programming_language.
- Philip_Wadler wikiPageWikiLink Royal_Society_of_Edinburgh.
- Philip_Wadler wikiPageWikiLink Simon_Peyton_Jones.
- Philip_Wadler wikiPageWikiLink St_Cross_College,_Oxford.
- Philip_Wadler wikiPageWikiLink Stanford_University.
- Philip_Wadler wikiPageWikiLink Symposium_on_Principles_of_Programming_Languages.
- Philip_Wadler wikiPageWikiLink Theoretical_computer_science.
- Philip_Wadler wikiPageWikiLink Type_theory.
- Philip_Wadler wikiPageWikiLink University_of_Copenhagen.
- Philip_Wadler wikiPageWikiLink University_of_Edinburgh.
- Philip_Wadler wikiPageWikiLink University_of_Glasgow.
- Philip_Wadler wikiPageWikiLink University_of_Oxford.
- Philip_Wadler wikiPageWikiLink University_of_Sydney.
- Philip_Wadler wikiPageWikiLink Web_application.
- Philip_Wadler wikiPageWikiLink XQuery.
- Philip_Wadler wikiPageWikiLinkText "Philip Wadler".
- Philip_Wadler almaMater Carnegie_Mellon_University.
- Philip_Wadler almaMater Stanford_University.
- Philip_Wadler almaMater "*".
- Philip_Wadler awards Association_for_Computing_Machinery.
- Philip_Wadler awards Royal_Society_of_Edinburgh.
- Philip_Wadler awards "*".
- Philip_Wadler birthDate "1956-04-08".
- Philip_Wadler birthName "Philip Lee Wadler".
- Philip_Wadler caption "Philip Wadler before a lecture at the University of Edinburgh.".
- Philip_Wadler doctoralAdvisor Nico_Habermann.
- Philip_Wadler doctoralStudents "* Ezra Cooper * Kei Davis * DeLesley Hutchins * David Lester * Simon Marlow * Philip Trinder *Jeremy Yallop".
- Philip_Wadler fields Programming_language.
- Philip_Wadler name "Phil Wadler".
- Philip_Wadler thesisTitle "Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists".
- Philip_Wadler thesisUrl 303342238.
- Philip_Wadler thesisYear "1984".
- Philip_Wadler website wadler.
- Philip_Wadler wikiPageUsesTemplate Template:Authority_control.
- Philip_Wadler wikiPageUsesTemplate Template:Birth_date_and_age.
- Philip_Wadler wikiPageUsesTemplate Template:Commons_category-inline.
- Philip_Wadler wikiPageUsesTemplate Template:Infobox_scientist.
- Philip_Wadler wikiPageUsesTemplate Template:Reflist.
- Philip_Wadler wikiPageUsesTemplate Template:URL.