About: Mads Tofte

Property	Value
dbo: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. (en) 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. (es)
dbo:academicDiscipline	dbr:Computer_Science
dbo:birthDate	1959-04-20 (xsd:date)
dbo:birthPlace	dbr:Denmark dbr:Kongens_Lyngby
dbo:citizenship	dbr:Denmark
dbo:doctoralAdvisor	dbr:Robin_Milner
dbo:knownFor	dbr:Standard_ML dbr:IT_University_of_Copenhagen
dbo:thumbnail	wiki-commons:Special:FilePath/MadsTofte.jpg?width=300
dbo:wikiPageExternalLink	http://www.itu.dk/people/tofte/ http://www.itu.dk/people/tofte/cv/cv.pdf http://www.lfcs.inf.ed.ac.uk/reports/88/ECS-LFCS-88-54/ https://web.archive.org/web/20090208225721/http:/www.itu.dk/research/mlkit/index.php/Main_Page
dbo:wikiPageID	22465528 (xsd:integer)
dbo:wikiPageLength	6428 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1089828862 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Program_analysis_(computer_science) dbr:Robin_Milner dbr:Denmark dbr:Holbæk dbr:Region_inference dbr:University_of_Copenhagen dbr:University_of_Edinburgh dbr:University_of_Nigeria dbr:Year_2000_problem dbr:Copenhagen_University dbc:1959_births dbc:Alumni_of_the_University_of_Edinburgh dbc:Living_people dbr:Computer_Science dbc:Danish_computer_scientists dbr:Master_of_Science dbr:Mathematics dbr:Memory_management dbr:ML_(programming_language) dbr:MSc dbc:People_from_Kongens_Lyngby dbr:Standard_ML dbr:Computer_science dbr:Computer_scientist dbr:Functional_programming dbr:COBOL dbr:Doctor_of_Philosophy dbr:Garbage_(computer_science) dbr:Partial_evaluation dbr:Association_for_Computing_Machinery dbc:People_from_Holbæk_Municipality dbc:University_of_Copenhagen_alumni dbr:PhD dbr:IT_University_of_Copenhagen dbr:Kingston_University dbr:Kongens_Lyngby dbr:Neil_D._Jones dbr:POPL dbr:Vice_chancellor dbr:Type_polymorphism dbr:Fritz_Henglein dbr:Jean-Pierre_Talpin
dbp:birthDate	1959-04-20 (xsd:date)
dbp:birthPlace	Lyngby, Denmark (en)
dbp:citizenship	Danish (en)
dbp:doctoralAdvisor	dbr:Robin_Milner
dbp:field	dbr:Computer_Science
dbp:knownFor	dbr:Standard_ML dbr:IT_University_of_Copenhagen
dbp:name	Mads Tofte (en)
dbp:prizes	IT prisen 2002 (en)
dbp:thesisTitle	Operational semantics and polymorphic type inference (en)
dbp:thesisUrl	http://www.lfcs.inf.ed.ac.uk/reports/88/ECS-LFCS-88-54/
dbp:thesisYear	1987 (xsd:integer)
dbp:website	http://www.itu.dk/people/tofte/
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Short_description dbt:Use_dmy_dates dbt:Birth_date_and_age dbt:Infobox_scientist
dbp:workInstitution	dbr:University_of_Edinburgh dbr:University_of_Nigeria dbr:Copenhagen_University dbr:IT_University_of_Copenhagen
dcterms:subject	dbc:1959_births dbc:Alumni_of_the_University_of_Edinburgh dbc:Living_people dbc:Danish_computer_scientists dbc:People_from_Kongens_Lyngby dbc:People_from_Holbæk_Municipality dbc:University_of_Copenhagen_alumni
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/111007875
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species yago:WikicatDanishComputerScientists schema:Person yago:WikicatLivingPeople wikidata:Q901 yago:Alumnus109786338 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatAlumniOfTheUniversityOfEdinburgh umbel-rc:Scientist
rdfs:comment	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. (en) 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. (es)
rdfs:label	Mads Tofte (es) Mads Tofte (en)
owl:sameAs	freebase:Mads Tofte http://viaf.org/viaf/111007875 yago-res:Mads Tofte https://dblp.org/pid/91/6552 wikidata:Mads Tofte http://data.bibliotheken.nl/id/thes/p075142813 dbpedia-es:Mads Tofte https://global.dbpedia.org/id/4qiVU
prov:wasDerivedFrom	wikipedia-en:Mads_Tofte?oldid=1089828862&ns=0
foaf:depiction	wiki-commons:Special:FilePath/MadsTofte.jpg
foaf:homepage	http://www.itu.dk/people/tofte/
foaf:isPrimaryTopicOf	wikipedia-en:Mads_Tofte
foaf:name	Mads Tofte (en)
is dbo:doctoralStudent of	dbr:Robin_Milner
is dbo:wikiPageDisambiguates of	dbr:Tofte
is dbo:wikiPageWikiLink of	dbr:Robin_Milner dbr:School_of_Informatics,_University_of_Edinburgh dbr:List_of_educational_institutions_in_Denmark dbr:Holbæk dbr:List_of_University_of_Edinburgh_people dbr:Robert_B._Mellor dbr:University_of_Copenhagen dbr:Value_restriction dbr:List_of_programming_language_researchers dbr:Lyngby-Taarbæk_Municipality dbr:ML_(programming_language) dbr:UCPH_Department_of_Computer_Science dbr:Tofte dbr:Kongens_Lyngby dbr:Robert_Harper_(computer_scientist) dbr:SIGPLAN
is dbp:doctoralStudents of	dbr:Robin_Milner
is foaf:primaryTopic of	wikipedia-en:Mads_Tofte