| dbo:abstract
|
- لوقا أندريه كارديلي (بالإنجليزية: Luca Andrea Cardelli)، عضو في الجمعية الملكية، هو عالم حاسوب إيطاليّ وَنائب مدير في في كامبريدج، المملكة المتّحدة. وَعُرِف بسبب بحثه في نظرية النمط . وقد ساهم في تصميم مودولا-3، وَنفّذ أوّل مجمّع للغة الوظيفيّة، وَعرَّف مفهوم البرمجة كاملة النمط. وساعد في تطوير لغة البرمجة التجريبيّة (بالإنجليزية: Polyphonic C sharp). (ar)
- Luca Andrea Cardelli, Fellow of the Royal Society (FRS), is an Italian computer scientist who is a research professor at the University of Oxford in Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. Among other contributions, in programming languages, he helped design the language Modula-3, implemented the first compiler for the (non-pure) functional language ML, defined the concept of typeful programming, and helped develop the experimental language Polyphonic C#. (en)
- 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 (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:award
| |
| dbo:birthName
|
- Luca Andrea Cardelli (en)
|
| dbo:birthPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 6922 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:awards
| |
| dbp:birthName
|
- Luca Andrea Cardelli (en)
|
| dbp:birthPlace
| |
| dbp:doctoralAdvisor
| |
| dbp:education
| |
| dbp:field
| |
| dbp:knownFor
|
- Theory of Objects with Martín Abadi (en)
|
| dbp:name
| |
| dbp:thesisTitle
|
- An algebraic approach to hardware description and verification (en)
|
| dbp:thesisUrl
| |
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workplaces
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- لوقا أندريه كارديلي (بالإنجليزية: Luca Andrea Cardelli)، عضو في الجمعية الملكية، هو عالم حاسوب إيطاليّ وَنائب مدير في في كامبريدج، المملكة المتّحدة. وَعُرِف بسبب بحثه في نظرية النمط . وقد ساهم في تصميم مودولا-3، وَنفّذ أوّل مجمّع للغة الوظيفيّة، وَعرَّف مفهوم البرمجة كاملة النمط. وساعد في تطوير لغة البرمجة التجريبيّة (بالإنجليزية: Polyphonic C sharp). (ar)
- Luca Andrea Cardelli, Fellow of the Royal Society (FRS), is an Italian computer scientist who is a research professor at the University of Oxford in Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. Among other contributions, in programming languages, he helped design the language Modula-3, implemented the first compiler for the (non-pure) functional language ML, defined the concept of typeful programming, and helped develop the experimental language Polyphonic C#. (en)
- 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 (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
| |
| is dbo:designer
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:designers
of | |
| is foaf:primaryTopic
of | |
