Data Portal @ linkeddatafragments.org

Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Luca_Cardelli> ?p ?o. }

• Luca_Cardelli abstract "Luca Andrea Cardelli FRS is an Italian computer scientist who is an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well known for his research in type theory and operational semantics. Among other contributions, he helped design Modula-3, implemented the first compiler for the (non-pure) functional programming language ML, and defined the concept of typeful programming. He helped develop the Polyphonic C# experimental programming language.".
• Luca_Cardelli almaMater University_of_Edinburgh.
• Luca_Cardelli almaMater University_of_Pisa.
• Luca_Cardelli award Association_for_Computing_Machinery.
• Luca_Cardelli award Dahl-Nygaard_Prize.
• Luca_Cardelli award Royal_Society.
• Luca_Cardelli birthName "Luca Andrea Cardelli".
• Luca_Cardelli birthPlace Italy.
• Luca_Cardelli birthPlace Montecatini_Terme.
• Luca_Cardelli doctoralAdvisor Gordon_Plotkin.
• Luca_Cardelli field Operational_semantics.
• Luca_Cardelli field Type_theory.
• Luca_Cardelli knownFor Mart%C3%ADn_Abadi.
• Luca_Cardelli residence Cambridge.
• Luca_Cardelli thumbnail Cardelli_Luca.jpg?width=300.
• Luca_Cardelli wikiPageExternalLink OrderDetails.do?uin=uk.bl.ethos.253190.
• Luca_Cardelli wikiPageExternalLink lucacardelli.name.
• Luca_Cardelli wikiPageExternalLink id;1422447371;fp;4194304;fpid;1.
• Luca_Cardelli wikiPageID "4614165".
• Luca_Cardelli wikiPageRevisionID "601773733".
• Luca_Cardelli almaMater University_of_Edinburgh.
• Luca_Cardelli almaMater University_of_Pisa.
• Luca_Cardelli awards Dahl-Nygaard_Prize.
• Luca_Cardelli awards Royal_Society.
• Luca_Cardelli awards "Fellow of the ACM".
• Luca_Cardelli birthName "Luca Andrea Cardelli".
• Luca_Cardelli birthPlace Italy.
• Luca_Cardelli birthPlace Montecatini_Terme.
• Luca_Cardelli doctoralAdvisor Gordon_Plotkin.
• Luca_Cardelli doctoralStudents "Alexander Summers".
• Luca_Cardelli field Operational_semantics.
• Luca_Cardelli field Type_theory.
• Luca_Cardelli hasPhotoCollection Luca_Cardelli.
• Luca_Cardelli knownFor "Theory of Objects with Martín Abadi".
• Luca_Cardelli name "Cardelli, Luca".
• Luca_Cardelli name "Luca Cardelli".
• Luca_Cardelli placeOfBirth Italy.
• Luca_Cardelli placeOfBirth Montecatini_Terme.
• Luca_Cardelli residence Cambridge.
• Luca_Cardelli shortDescription "Italian computer scientist".
• Luca_Cardelli thesisTitle "An algebraic approach to hardware description and verification".
• Luca_Cardelli thesisUrl OrderDetails.do?uin=uk.bl.ethos.253190.
• Luca_Cardelli thesisYear "1982".
• Luca_Cardelli workInstitution Bell_Labs.
• Luca_Cardelli workInstitution Digital_Equipment_Corporation.
• Luca_Cardelli workInstitution Microsoft_Research.
• Luca_Cardelli workInstitution University_of_Edinburgh.
• Luca_Cardelli description "Italian computer scientist".
• Luca_Cardelli description "Italian computer scientist".
• Luca_Cardelli subject Category:Alumni_of_the_University_of_Edinburgh.
• Luca_Cardelli subject Category:Fellows_of_the_Association_for_Computing_Machinery.
• Luca_Cardelli subject Category:Fellows_of_the_Royal_Society.
• Luca_Cardelli subject Category:Italian_computer_scientists.
• Luca_Cardelli subject Category:Living_people.
• Luca_Cardelli subject Category:Programming_language_researchers.
• Luca_Cardelli subject Category:Year_of_birth_missing_(living_people).
• Luca_Cardelli type AlumniOfTheUniversityOfEdinburgh.
• Luca_Cardelli type Alumnus109786338.
• Luca_Cardelli type Associate109816771.
• Luca_Cardelli type CausalAgent100007347.
• Luca_Cardelli type Colleague109935990.
• Luca_Cardelli type ComputerScientist109951070.
• Luca_Cardelli type ComputerUser109951274.
• Luca_Cardelli type FellowsOfTheAssociationForComputingMachinery.
• Luca_Cardelli type FellowsOfTheRoyalSociety.
• Luca_Cardelli type Intellectual109621545.
• Luca_Cardelli type ItalianComputerScientists.
• Luca_Cardelli type LivingPeople.
• Luca_Cardelli type LivingThing100004258.
• Luca_Cardelli type Object100002684.
• Luca_Cardelli type Organism100004475.
• Luca_Cardelli type Peer109626238.
• Luca_Cardelli type Person100007846.
• Luca_Cardelli type PhysicalEntity100001930.
• Luca_Cardelli type ProgrammingLanguageResearchers.
• Luca_Cardelli type ResearchWorker110523076.
• Luca_Cardelli type Scholar110557854.
• Luca_Cardelli type Scientist110560637.
• Luca_Cardelli type Whole100003553.
• Luca_Cardelli type YagoLegalActor.
• Luca_Cardelli type YagoLegalActorGeo.
• Luca_Cardelli type Agent.
• Luca_Cardelli type Person.
• Luca_Cardelli type Scientist.
• Luca_Cardelli type Person.
• Luca_Cardelli type Scientist.
• Luca_Cardelli type Q215627.
• Luca_Cardelli type Q5.
• Luca_Cardelli type Agent.
• Luca_Cardelli type NaturalPerson.
• Luca_Cardelli type Thing.
• Luca_Cardelli type Person.
• Luca_Cardelli comment "Luca Andrea Cardelli FRS is an Italian computer scientist who is an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well known for his research in type theory and operational semantics. Among other contributions, he helped design Modula-3, implemented the first compiler for the (non-pure) functional programming language ML, and defined the concept of typeful programming. He helped develop the Polyphonic C# experimental programming language.".
• Luca_Cardelli label "Luca Cardelli".
• Luca_Cardelli sameAs m.0ccr29.
• Luca_Cardelli sameAs Q6695862.
• Luca_Cardelli sameAs Q6695862.
• Luca_Cardelli sameAs Luca_Cardelli.
• Luca_Cardelli wasDerivedFrom Luca_Cardelli?oldid=601773733.
• Luca_Cardelli depiction Cardelli_Luca.jpg.

• next