Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Philip_Wadler> ?p ?o. }
- Philip_Wadler abstract "Philip Wadler (born 8 April 1956, USA) is a 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 birthYear "1956".
- Philip_Wadler doctoralAdvisor Nico_Habermann.
- Philip_Wadler lccnId "n/92/21509".
- Philip_Wadler thumbnail Wadler2.JPG?width=300.
- Philip_Wadler viafId "74166584".
- Philip_Wadler wikiPageExternalLink wadler.
- Philip_Wadler wikiPageExternalLink 303342238.
- Philip_Wadler wikiPageExternalLink wadler.blogspot.com.
- Philip_Wadler wikiPageID "2830383".
- Philip_Wadler wikiPageRevisionID "595999874".
- Philip_Wadler almaMater Carnegie_Mellon_University.
- Philip_Wadler almaMater Stanford_University.
- Philip_Wadler awards "Fellow of the Association for Computing Machinery".
- Philip_Wadler awards "Fellow of the Royal Society of Edinburgh".
- Philip_Wadler birthDate "1956-04-08".
- Philip_Wadler caption "Philip Wadler before a lecture at the University of Edinburgh.".
- Philip_Wadler dateOfBirth "1956-04-08".
- Philip_Wadler doctoralAdvisor Nico_Habermann.
- Philip_Wadler doctoralStudents "DeLesley Hutchins".
- Philip_Wadler doctoralStudents "Ezra Cooper,".
- Philip_Wadler doctoralStudents "Jeremy Yallop,".
- Philip_Wadler doctoralStudents "Kei Davis,".
- Philip_Wadler doctoralStudents "Philip Trinder,".
- Philip_Wadler hasPhotoCollection Philip_Wadler.
- Philip_Wadler lccn "n/92/21509".
- Philip_Wadler name "Phil Wadler".
- Philip_Wadler name "Wadler, Philip".
- Philip_Wadler shortDescription "American computer scientist".
- 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 viaf "74166584".
- Philip_Wadler website wadler.
- Philip_Wadler workplaces Bell_Labs.
- Philip_Wadler workplaces Carnegie_Mellon_University.
- Philip_Wadler workplaces Chalmers_University_of_Technology.
- Philip_Wadler workplaces University_of_Copenhagen.
- Philip_Wadler workplaces University_of_Edinburgh.
- Philip_Wadler workplaces University_of_Glasgow.
- Philip_Wadler workplaces University_of_Oxford.
- Philip_Wadler workplaces University_of_Sydney.
- Philip_Wadler workplaces "Avaya Labs".
- Philip_Wadler workplaces "Stanford University".
- Philip_Wadler description "American computer scientist".
- Philip_Wadler description "American computer scientist".
- Philip_Wadler subject Category:1956_births.
- Philip_Wadler subject Category:Academic_journal_editors.
- Philip_Wadler subject Category:Academics_of_the_University_of_Edinburgh.
- Philip_Wadler subject Category:Academics_of_the_University_of_Glasgow.
- Philip_Wadler subject Category:American_computer_scientists.
- Philip_Wadler subject Category:American_expatriates_in_the_United_Kingdom.
- Philip_Wadler subject Category:American_textbook_writers.
- Philip_Wadler subject Category:British_computer_scientists.
- Philip_Wadler subject Category:Carnegie_Mellon_University_alumni.
- Philip_Wadler subject Category:Computer_science_writers.
- Philip_Wadler subject Category:Fellows_of_St_Cross_College,_Oxford.
- Philip_Wadler subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Philip_Wadler subject Category:Fellows_of_the_Royal_Society_of_Edinburgh.
- Philip_Wadler subject Category:Formal_methods_people.
- Philip_Wadler subject Category:Functional_programming.
- Philip_Wadler subject Category:Living_people.
- Philip_Wadler subject Category:Members_of_Oxford_University_Department_of_Computer_Science.
- Philip_Wadler subject Category:Programming_language_researchers.
- Philip_Wadler subject Category:Scientists_at_Bell_Labs.
- Philip_Wadler subject Category:Stanford_University_alumni.
- Philip_Wadler type Absentee109757653.
- Philip_Wadler type AcademicJournalEditors.
- Philip_Wadler type Academician109759069.
- Philip_Wadler type AcademicsOfTheUniversityOfEdinburgh.
- Philip_Wadler type AcademicsOfTheUniversityOfGlasgow.
- Philip_Wadler type Adult109605289.
- Philip_Wadler type Alumnus109786338.
- Philip_Wadler type AmericanComputerScientists.
- Philip_Wadler type AmericanExpatriatesInTheUnitedKingdom.
- Philip_Wadler type AmericanTextbookWriters.
- Philip_Wadler type Associate109816771.
- Philip_Wadler type BritishComputerScientists.
- Philip_Wadler type CarnegieMellonUniversityAlumni.
- Philip_Wadler type CausalAgent100007347.
- Philip_Wadler type Colleague109935990.
- Philip_Wadler type Communicator109610660.
- Philip_Wadler type ComputerScienceWriters.
- Philip_Wadler type ComputerScientist109951070.
- Philip_Wadler type ComputerUser109951274.
- Philip_Wadler type Editor110044879.
- Philip_Wadler type Educator110045713.
- Philip_Wadler type Exile110071332.
- Philip_Wadler type FellowsOfStCrossCollege,Oxford.
- Philip_Wadler type FellowsOfTheAssociationForComputingMachinery.
- Philip_Wadler type FellowsOfTheRoyalSocietyOfEdinburgh.
- Philip_Wadler type FormalMethodsPeople.
- Philip_Wadler type Intellectual109621545.
- Philip_Wadler type LivingPeople.
- Philip_Wadler type LivingThing100004258.