Mads Tofte

http://dbpedia.org/resource/Mads_Tofte an entity of type: Thing

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. rdf:langString
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. rdf:langString
rdf:langString Mads Tofte
rdf:langString Mads Tofte
rdf:langString Mads Tofte
rdf:langString Mads Tofte
rdf:langString Lyngby, Denmark
xsd:date 1959-04-20
xsd:integer 22465528
xsd:integer 1089828862
rdf:langString Operational semantics and polymorphic type inference
xsd:integer 1987
xsd:date 1959-04-20
rdf:langString Danish
rdf:langString 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.
rdf:langString 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.
rdf:langString IT prisen 2002
xsd:nonNegativeInteger 6428
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
yago:WikicatDanishComputerScientists
schema-org:Person
yago:WikicatLivingPeople
<http://www.wikidata.org/entity/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
<http://umbel.org/umbel/rc/Scientist>
<http://www.itu.dk/people/tofte/>
<http://commons.wikimedia.org/wiki/Special:FilePath/MadsTofte.jpg>
<http://dbpedia.org/resource/Denmark>
<http://dbpedia.org/resource/Kongens_Lyngby>
<http://dbpedia.org/resource/Category:1959_births>
<http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Danish_computer_scientists>
<http://dbpedia.org/resource/Category:People_from_Kongens_Lyngby>
<http://dbpedia.org/resource/Category:People_from_Holbæk_Municipality>
<http://dbpedia.org/resource/Category:University_of_Copenhagen_alumni>
<http://dbpedia.org/resource/Program_analysis_(computer_science)>
<http://dbpedia.org/resource/Robin_Milner>
<http://dbpedia.org/resource/Denmark>
<http://dbpedia.org/resource/Holbæk>
<http://dbpedia.org/resource/Region_inference>
<http://dbpedia.org/resource/University_of_Copenhagen>
<http://dbpedia.org/resource/University_of_Edinburgh>
<http://dbpedia.org/resource/University_of_Nigeria>
<http://dbpedia.org/resource/Year_2000_problem>
<http://dbpedia.org/resource/Copenhagen_University>
<http://dbpedia.org/resource/Category:1959_births>
<http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Computer_Science>
<http://dbpedia.org/resource/Category:Danish_computer_scientists>
<http://dbpedia.org/resource/Master_of_Science>
<http://dbpedia.org/resource/Mathematics>
<http://dbpedia.org/resource/Memory_management>
<http://dbpedia.org/resource/ML_(programming_language)>
<http://dbpedia.org/resource/MSc>
<http://dbpedia.org/resource/Category:People_from_Kongens_Lyngby>
<http://dbpedia.org/resource/Standard_ML>
<http://dbpedia.org/resource/Computer_science>
<http://dbpedia.org/resource/Computer_scientist>
<http://dbpedia.org/resource/Functional_programming>
<http://dbpedia.org/resource/COBOL>
<http://dbpedia.org/resource/Doctor_of_Philosophy>
<http://dbpedia.org/resource/Garbage_(computer_science)>
<http://dbpedia.org/resource/Partial_evaluation>
<http://dbpedia.org/resource/Association_for_Computing_Machinery>
<http://dbpedia.org/resource/Category:People_from_Holbæk_Municipality>
<http://dbpedia.org/resource/Category:University_of_Copenhagen_alumni>
<http://dbpedia.org/resource/PhD>
<http://dbpedia.org/resource/IT_University_of_Copenhagen>
<http://dbpedia.org/resource/Kingston_University>
<http://dbpedia.org/resource/Kongens_Lyngby>
<http://dbpedia.org/resource/Neil_D._Jones>
<http://dbpedia.org/resource/POPL>
<http://dbpedia.org/resource/Vice_chancellor>
<http://dbpedia.org/resource/Type_polymorphism>
<http://dbpedia.org/resource/Fritz_Henglein>
<http://dbpedia.org/resource/Jean-Pierre_Talpin>
<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>
<http://rdf.freebase.com/ns/m.05znndf>
<http://viaf.org/viaf/111007875>
<http://yago-knowledge.org/resource/Mads_Tofte>
<https://dblp.org/pid/91/6552>
<http://www.wikidata.org/entity/Q6728718>
<http://data.bibliotheken.nl/id/thes/p075142813>
<http://es.dbpedia.org/resource/Mads_Tofte>
<https://global.dbpedia.org/id/4qiVU>
<http://www.lfcs.inf.ed.ac.uk/reports/88/ECS-LFCS-88-54/>
<http://dbpedia.org/resource/University_of_Edinburgh>
<http://dbpedia.org/resource/University_of_Nigeria>
<http://dbpedia.org/resource/Copenhagen_University>
<http://dbpedia.org/resource/IT_University_of_Copenhagen>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:Short_description>
<http://dbpedia.org/resource/Template:Use_dmy_dates>
<http://dbpedia.org/resource/Template:Birth_date_and_age>
<http://dbpedia.org/resource/Template:Infobox_scientist>
<http://commons.wikimedia.org/wiki/Special:FilePath/MadsTofte.jpg?width=300>
<http://dbpedia.org/resource/Computer_Science>
<http://dbpedia.org/resource/Standard_ML>
<http://dbpedia.org/resource/IT_University_of_Copenhagen>
<http://www.itu.dk/people/tofte/>
<http://dbpedia.org/resource/Robin_Milner>
<http://dbpedia.org/resource/Denmark>
<http://dbpedia.org/resource/Robin_Milner>
<http://dbpedia.org/resource/Scientist>
<http://viaf.org/viaf/111007875>
<http://en.wikipedia.org/wiki/Mads_Tofte?oldid=1089828862&ns=0>
<http://dbpedia.org/resource/Computer_Science>
<http://dbpedia.org/resource/Standard_ML>
<http://dbpedia.org/resource/IT_University_of_Copenhagen>
<http://en.wikipedia.org/wiki/Mads_Tofte>

data from the linked data cloud