Matches in DBpedia 2015-10 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ín_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 wikiPageLength "6605".
- Luca_Cardelli wikiPageOutDegree "49".
- Luca_Cardelli wikiPageRevisionID "678385936".
- Luca_Cardelli wikiPageWikiLink Association_for_Computing_Machinery.
- Luca_Cardelli wikiPageWikiLink Bell_Labs.
- Luca_Cardelli wikiPageWikiLink Cambridge.
- Luca_Cardelli wikiPageWikiLink Cambridge,_UK.
- Luca_Cardelli wikiPageWikiLink Category:Alumni_of_the_University_of_Edinburgh.
- Luca_Cardelli wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Luca_Cardelli wikiPageWikiLink Category:Fellows_of_the_Royal_Society.
- Luca_Cardelli wikiPageWikiLink Category:Italian_computer_scientists.
- Luca_Cardelli wikiPageWikiLink Category:Living_people.
- Luca_Cardelli wikiPageWikiLink Category:Programming_language_researchers.
- Luca_Cardelli wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Luca_Cardelli wikiPageWikiLink Computer_scientist.
- Luca_Cardelli wikiPageWikiLink Dahl-Nygaard_Prize.
- Luca_Cardelli wikiPageWikiLink Digital_Equipment_Corporation.
- Luca_Cardelli wikiPageWikiLink Doctor_of_Philosophy.
- Luca_Cardelli wikiPageWikiLink Fellow_of_the_Royal_Society.
- Luca_Cardelli wikiPageWikiLink Functional_programming.
- Luca_Cardelli wikiPageWikiLink Gordon_Plotkin.
- Luca_Cardelli wikiPageWikiLink Italy.
- Luca_Cardelli wikiPageWikiLink ML_(programming_language).
- Luca_Cardelli wikiPageWikiLink ML_programming_language.
- Luca_Cardelli wikiPageWikiLink Martín_Abadi.
- Luca_Cardelli wikiPageWikiLink Microsoft_Research.
- Luca_Cardelli wikiPageWikiLink Modula-3.
- Luca_Cardelli wikiPageWikiLink Montecatini_Terme.
- Luca_Cardelli wikiPageWikiLink Operational_semantics.
- Luca_Cardelli wikiPageWikiLink PhD.
- Luca_Cardelli wikiPageWikiLink Polyphonic_C_Sharp.
- Luca_Cardelli wikiPageWikiLink Polyphonic_C_sharp.
- Luca_Cardelli wikiPageWikiLink Programming_language.
- Luca_Cardelli wikiPageWikiLink Royal_Society.
- Luca_Cardelli wikiPageWikiLink Type_theory.
- Luca_Cardelli wikiPageWikiLink Typeful_programming.
- Luca_Cardelli wikiPageWikiLink University_of_Edinburgh.
- Luca_Cardelli wikiPageWikiLink University_of_Pisa.
- Luca_Cardelli wikiPageWikiLink Unix.
- Luca_Cardelli wikiPageWikiLink Vismon.
- Luca_Cardelli wikiPageWikiLinkText "Cardelli".
- Luca_Cardelli wikiPageWikiLinkText "Cardelli, Luca".
- Luca_Cardelli wikiPageWikiLinkText "Luca Cardelli".
- Luca_Cardelli almaMater University_of_Edinburgh.
- Luca_Cardelli almaMater University_of_Pisa.
- Luca_Cardelli awards Dahl-Nygaard_Prize.
- Luca_Cardelli awards Fellow_of_the_Royal_Society.
- 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 residence Cambridge,_UK.
- 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 wikiPageUsesTemplate Template:Compu-scientist-stub.
- Luca_Cardelli wikiPageUsesTemplate Template:Infobox_scientist.
- Luca_Cardelli wikiPageUsesTemplate Template:Persondata.
- 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.