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.

Property Value
dbo:abstract
  • 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)
  • 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:almaMater
dbo:award
dbo:birthPlace
dbo:citizenship
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:employer
dbo:occupation
dbo:wikiPageID
  • 10359549 (xsd:integer)
dbo:wikiPageLength
  • 4159 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 187270309 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • 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)
  • 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
  • Luca Cardelli (fr)
  • Luca Cardelli (es)
  • Luca Cardelli (fr)
  • Luca Cardelli (es)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:doctoralStudent of
is dbo:editor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of