| Birthplace
|
http://dbpedia.org/resource/Denmark +
, http://dbpedia.org/resource/Kongens_Lyngby +
|
| http://dbpedia.org/ontology/abstract
|
Mads Tofte (born 20 April 1959) is a Danish computer scientist who has contributed in particular to functional programming and the Standard ML programming language.
, Mads Tofte (nacido el 20 de abril de 1959) es un informático danés que ha contribuido en particular a la programación funcional y al lenguaje de programación ML estándar.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/ontology/birthDate
|
"1959-04-20"^^xsd:date
|
| http://dbpedia.org/ontology/citizenship
|
http://dbpedia.org/resource/Denmark +
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Robin_Milner +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/IT_University_of_Copenhagen +
, http://dbpedia.org/resource/Standard_ML +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/MadsTofte.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.lfcs.inf.ed.ac.uk/reports/88/ECS-LFCS-88-54/ +
, http://www.itu.dk/people/tofte/ +
, http://www.itu.dk/people/tofte/cv/cv.pdf +
, https://web.archive.org/web/20090208225721/http:/www.itu.dk/research/mlkit/index.php/Main_Page +
|
| http://dbpedia.org/ontology/wikiPageID
|
22465528
|
| http://dbpedia.org/ontology/wikiPageLength
|
6428
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1089828862
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/PhD +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Vice_chancellor +
, http://dbpedia.org/resource/University_of_Nigeria +
, http://dbpedia.org/resource/Type_polymorphism +
, http://dbpedia.org/resource/Program_analysis_%28computer_science%29 +
, http://dbpedia.org/resource/Robin_Milner +
, http://dbpedia.org/resource/Denmark +
, http://dbpedia.org/resource/Kingston_University +
, http://dbpedia.org/resource/Kongens_Lyngby +
, http://dbpedia.org/resource/POPL +
, http://dbpedia.org/resource/University_of_Edinburgh +
, http://dbpedia.org/resource/Year_2000_problem +
, http://dbpedia.org/resource/Category:People_from_Kongens_Lyngby +
, http://dbpedia.org/resource/Copenhagen_University +
, http://dbpedia.org/resource/Fritz_Henglein +
, http://dbpedia.org/resource/Jean-Pierre_Talpin +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/MSc +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Memory_management +
, http://dbpedia.org/resource/Category:People_from_Holb%C3%A6k_Municipality +
, http://dbpedia.org/resource/Doctor_of_Philosophy +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/IT_University_of_Copenhagen +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:University_of_Copenhagen_alumni +
, http://dbpedia.org/resource/Functional_programming +
, http://dbpedia.org/resource/Master_of_Science +
, http://dbpedia.org/resource/ML_%28programming_language%29 +
, http://dbpedia.org/resource/Holb%C3%A6k +
, http://dbpedia.org/resource/Neil_D._Jones +
, http://dbpedia.org/resource/University_of_Copenhagen +
, http://dbpedia.org/resource/Category:Danish_computer_scientists +
, http://dbpedia.org/resource/COBOL +
, http://dbpedia.org/resource/Category:1959_births +
, http://dbpedia.org/resource/Region_inference +
, http://dbpedia.org/resource/Standard_ML +
, http://dbpedia.org/resource/Partial_evaluation +
, http://dbpedia.org/resource/Garbage_%28computer_science%29 +
, http://dbpedia.org/resource/Category:Living_people +
|
| http://dbpedia.org/property/birthDate
|
"1959-04-20"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
Lyngby, Denmark
|
| http://dbpedia.org/property/citizenship
|
Danish
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Robin_Milner +
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/IT_University_of_Copenhagen +
, http://dbpedia.org/resource/Standard_ML +
|
| http://dbpedia.org/property/name
|
Mads Tofte
|
| http://dbpedia.org/property/prizes
|
IT prisen 2002
|
| http://dbpedia.org/property/thesisTitle
|
Operational semantics and polymorphic type inference
|
| http://dbpedia.org/property/thesisUrl
|
http://www.lfcs.inf.ed.ac.uk/reports/88/ECS-LFCS-88-54/ +
|
| http://dbpedia.org/property/thesisYear
|
1987
|
| http://dbpedia.org/property/website
|
http://www.itu.dk/people/tofte/ +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Authority_control +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/IT_University_of_Copenhagen +
, http://dbpedia.org/resource/Copenhagen_University +
, http://dbpedia.org/resource/University_of_Nigeria +
, http://dbpedia.org/resource/University_of_Edinburgh +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:People_from_Kongens_Lyngby +
, http://dbpedia.org/resource/Category:People_from_Holb%C3%A6k_Municipality +
, http://dbpedia.org/resource/Category:Danish_computer_scientists +
, http://dbpedia.org/resource/Category:1959_births +
, http://dbpedia.org/resource/Category:University_of_Copenhagen_alumni +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/111007875 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Mads_Tofte?oldid=1089828862&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/MadsTofte.jpg +
|
| http://xmlns.com/foaf/0.1/homepage
|
http://www.itu.dk/people/tofte/ +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Mads_Tofte +
|
| http://xmlns.com/foaf/0.1/name
|
Mads Tofte
|
| owl:sameAs |
http://rdf.freebase.com/ns/m.05znndf +
, http://www.wikidata.org/entity/Q6728718 +
, https://dblp.org/pid/91/6552 +
, http://yago-knowledge.org/resource/Mads_Tofte +
, http://es.dbpedia.org/resource/Mads_Tofte +
, http://viaf.org/viaf/111007875 +
, http://data.bibliotheken.nl/id/thes/p075142813 +
, http://dbpedia.org/resource/Mads_Tofte +
, https://global.dbpedia.org/id/4qiVU +
|
| rdf:type |
http://dbpedia.org/class/yago/Alumnus109786338 +
, http://schema.org/Person +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/ontology/Species +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/WikicatDanishComputerScientists +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://umbel.org/umbel/rc/Scientist +
, http://dbpedia.org/class/yago/Object100002684 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/ontology/Scientist +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/WikicatAlumniOfTheUniversityOfEdinburgh +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.wikidata.org/entity/Q5 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://www.wikidata.org/entity/Q901 +
, http://www.wikidata.org/entity/Q215627 +
|
| rdfs:comment |
Mads Tofte (nacido el 20 de abril de 1959) es un informático danés que ha contribuido en particular a la programación funcional y al lenguaje de programación ML estándar.
, Mads Tofte (born 20 April 1959) is a Danish computer scientist who has contributed in particular to functional programming and the Standard ML programming language.
|
| rdfs:label |
Mads Tofte
|
