This HTML5 document contains 19 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dchttp://purl.org/dc/elements/1.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://commons.wikimedia.org/wiki/Special:FilePath/Cardelli_Luca.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://commons.wikimedia.org/wiki/Special:FilePath/Cardelli_Luca.jpg?width=
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpediahttp://dbpedia.org/resource/
Subject Item
dbpedia:Luca_Cardelli
rdfs:comment
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.
foaf:name
Cardelli, Luca Luca Cardelli
foaf:depiction
n4:jpg
dc:description
Italian computer scientist
dbpedia-owl:almaMater
dbpedia:University_of_Pisa dbpedia:University_of_Edinburgh
dbpedia-owl:award
dbpedia:Dahl-Nygaard_Prize dbpedia:Royal_Society dbpedia:Association_for_Computing_Machinery
dbpedia-owl:birthName
Luca Andrea Cardelli
dbpedia-owl:birthPlace
dbpedia:Montecatini_Terme dbpedia:Italy
dbpedia-owl:doctoralAdvisor
dbpedia:Gordon_Plotkin
dbpedia-owl:field
dbpedia:Operational_semantics dbpedia:Type_theory
dbpedia-owl:knownFor
dbpedia:Martín_Abadi
dbpedia-owl:residence
dbpedia:Cambridge
dbpedia-owl:thumbnail
n6:300