• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Philip Wadler     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatProgrammingLanguageResearchers, within Data Space : dbpedia.org associated with source document(s)

Type: Thingfoaf:Personpersondul:NaturalPersonEukaryoteHomo sapiensHumanAnimalyago:WikicatAmericanComputerScientistsyago:WikicatAmericanExpatriatesInTheUnitedKingdomyago:WikicatAmericanTextbookWritersyago:WikicatBritishComputerScientistsanimaleukaryotescientistspeciesyago:WikicatCarnegieMellonUniversityAlumniyago:WikicatComputerScienceWritersschema:Personyago:WikicatLivingPeopleyago:WikicatLogiciansyago:WikicatScientistsAtBellLabsyago:WikicatStanfordUniversityAlumniScientistyago:Absentee109757653yago:Academician109759069yago:Adult109605289yago:Alumnus109786338yago:Associate109816771yago:CausalAgent100007347yago:Colleague109935990yago:Communicator109610660yago:ComputerScientist109951070yago:ComputerUser109951274yago:Editor110044879yago:Educator110045713yago:Exile110071332yago:Expert109617867yago:Intellectual109621545yago:LivingThing100004258yago:Logician110269785yago:Object100002684yago:Organism100004475yago:Peer109626238yago:Person100007846yago:PhysicalEntity100001930yago:Professional110480253yago:ResearchWorker110523076yago:Worker109632518yago:Writer110794014yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:SkilledWorker110605985yago:Traveler109629752yago:Whole100003553yago:WikicatAcademicJournalEditorsyago:WikicatAcademicsOfTheUniversityOfEdinburghyago:WikicatAcademicsOfTheUniversityOfGlasgowyago:WikicatFellowsOfStCrossCollege,Oxfordyago:WikicatFellowsOfTheAssociationForComputingMachineryyago:WikicatFellowsOfTheRoyalSocietyOfEdinburghyago:WikicatFormalMethodsPeopleyago:WikicatProgrammingLanguageResearchers New Facet based on Instances of this Class

Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. He is the chair of Theoretical Computer Science at the Laboratory for Foundations of Computer Science at School of Informatics, University of Edinburgh. 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).