About: Luca Cardelli

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#.

Property	Value
dbo:abstract	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 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)
dbo:birthPlace	dbpedia-es:Italia dbpedia-es:Montecatini_Terme
dbo:wikiPageExternalLink	http://lucacardelli.name https://web.archive.org/web/20081013034718/http:/www.computerworld.com.au/index.php/id;1422447371;fp;4194304;fpid;1
dbo:wikiPageID	7400825 (xsd:integer)
dbo:wikiPageLength	6233 (xsd:integer)
dbo:wikiPageRevisionID	122962399 (xsd:integer)
prop-es:almaMáter	dbpedia-es:Universidad_de_Edimburgo dbpedia-es:Universidad_de_Pisa
prop-es:conocidoPor	Theory of Objects con Martín Abadi (es) Theory of Objects con Martín Abadi (es)
prop-es:imagen	Cardelli Luca.jpg (es) Cardelli Luca.jpg (es)
prop-es:lugarDeNacimiento	dbpedia-es:Italia dbpedia-es:Montecatini_Terme
prop-es:nombre	Luca Andrea Cardelli (es) Luca Andrea Cardelli (es)
prop-es:pieDeImagen	Luca Andrea Cardelli (es) Luca Andrea Cardelli (es)
prop-es:páginaWeb	http://lucacardelli.name
prop-es:tamañoDeImagen	200 (xsd:integer)
dct:subject	category-es:Alumnado_de_la_Universidad_de_Edimburgo category-es:Miembros_de_la_Royal_Society category-es:Miembros_honorarios_de_la_Association_for_Computing_Machinery category-es:Personas_vivas category-es:Informáticos_de_Italia
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson schema:Person dul:Agent wikidata:Q215627 wikidata:Q24229398 wikidata:Q5 dbo:Agent
rdfs:comment	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 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)
rdfs:label	Luca Cardelli (es) Luca Cardelli (es)
prov:wasDerivedFrom	wikipedia-es:Luca_Cardelli?oldid=122962399&ns=0
foaf:isPrimaryTopicOf	wikipedia-es:Luca_Cardelli
foaf:name	(es) Luca Andrea Cardelli (es) (es) Luca Andrea Cardelli (es)
is owl:sameAs of	dbr:Luca Cardelli
is foaf:primaryTopic of	wikipedia-es:Luca_Cardelli