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 . He helped develop the Polyphonic C# experimental programming language.

Property Value
dbo:abstract
  • لوقا أندريه كارديلي (بالإنجليزية: Luca Andrea Cardelli)، عضو في الجمعية الملكية، هو عالم حاسوب إيطاليّ وَنائب مدير في في كامبريدج، المملكة المتّحدة. وَعُرِف بسبب بحثه في نظرية النمط . وقد ساهم في تصميم ، وَنفّذ أوّل مجمّع للغة الوظيفيّة، وَعرَّف مفهوم البرمجة كاملة النمط. وساعد في تطوير لغة البرمجة التجريبيّة (بالإنجليزية: Polyphonic C sharp). (ar)
  • Luca Andrea Cardelli FRS es un científico de la computación italiano, actualmente Director Asociado de Microsoft Research en Cambridge, Reino Unido.​​ Cardelli es conocido por sus investigaciones en la teoría de tipos y la semántica operacional.​​ Entre otras contribuciones, ayudó a diseñar Modula-3, implementó el primer compilador para el lenguaje de programación funcional (no puro) ML, y definió el concepto de programación dirigida por tipos. Ayudó a desarrollar el lenguaje de programación experimental Polyphonic C#.​​​​​​ (es)
  • 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 . He helped develop the Polyphonic C# experimental programming language. (en)
  • Luca Andrea Cardelli (né en 1954) est un chercheur en informatique et ingénieur italien. Il a notamment été directeur adjoint du centre de recherche de Microsoft à Cambridge. Il est surtout connu pour ses recherches sur la théorie des types, la théorie des objets et la sémantique opérationnelle. Il a participé à la conception du langage de programmation Modula-3. Il est membre de la Royal Society. (fr)
dbo:academicDiscipline
dbo:almaMater
dbo:award
dbo:birthName
  • Luca Andrea Cardelli (en)
dbo:birthPlace
dbo:doctoralAdvisor
dbo:knownFor
dbo:residence
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 4614165 (xsd:integer)
dbo:wikiPageLength
  • 6529 (xsd:integer)
dbo:wikiPageRevisionID
  • 946287292 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
dbp:awards
dbp:birthName
  • Luca Andrea Cardelli (en)
dbp:birthPlace
dbp:doctoralAdvisor
dbp:field
dbp:knownFor
  • Theory of Objects with Martín Abadi (en)
dbp:name
  • Luca Cardelli (en)
dbp:residence
dbp:thesisTitle
  • An algebraic approach to hardware description and verification (en)
dbp:thesisUrl
dbp:thesisYear
  • 1982 (xsd:integer)
dbp:website
dbp:wikiPageUsesTemplate
dbp:workInstitution
dct:subject
schema:sameAs
rdf:type
rdfs:comment
  • لوقا أندريه كارديلي (بالإنجليزية: Luca Andrea Cardelli)، عضو في الجمعية الملكية، هو عالم حاسوب إيطاليّ وَنائب مدير في في كامبريدج، المملكة المتّحدة. وَعُرِف بسبب بحثه في نظرية النمط . وقد ساهم في تصميم ، وَنفّذ أوّل مجمّع للغة الوظيفيّة، وَعرَّف مفهوم البرمجة كاملة النمط. وساعد في تطوير لغة البرمجة التجريبيّة (بالإنجليزية: Polyphonic C sharp). (ar)
  • Luca Andrea Cardelli FRS es un científico de la computación italiano, actualmente Director Asociado de Microsoft Research en Cambridge, Reino Unido.​​ Cardelli es conocido por sus investigaciones en la teoría de tipos y la semántica operacional.​​ Entre otras contribuciones, ayudó a diseñar Modula-3, implementó el primer compilador para el lenguaje de programación funcional (no puro) ML, y definió el concepto de programación dirigida por tipos. Ayudó a desarrollar el lenguaje de programación experimental Polyphonic C#.​​​​​​ (es)
  • 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 . He helped develop the Polyphonic C# experimental programming language. (en)
  • Luca Andrea Cardelli (né en 1954) est un chercheur en informatique et ingénieur italien. Il a notamment été directeur adjoint du centre de recherche de Microsoft à Cambridge. Il est surtout connu pour ses recherches sur la théorie des types, la théorie des objets et la sémantique opérationnelle. Il a participé à la conception du langage de programmation Modula-3. Il est membre de la Royal Society. (fr)
rdfs:label
  • لوقا كارديلي (ar)
  • Luca Cardelli (en)
  • Luca Cardelli (es)
  • Luca Cardelli (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Luca Cardelli (en)
is dbo:designer of
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of