Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Don_Syme> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples per page.
- Don_Syme abstract "Don Syme is an Australian computer scientist and a Principal Researcher at Microsoft Research, Cambridge, U.K. He is the designer and architect of the F# programming language, described by a reporter as being regarded as "the most original new face in computer languages since Bjarne Stroustrup developed C++ in the early 1980s.".Earlier, Syme created generics in the .NET Common Language Runtime, including the initial design of generics for the C# programming language, along with others including Andrew Kennedy and later Anders Hejlsberg. Kennedy, Syme and Dachuan Yu also formalized this widely used system.He holds a Ph.D. from the University of Cambridge, and is a member of the WG2.8 working group on functional programming. He is a co-author of the book Expert F# 3.0.In the past he also worked on formal specification, interactive proof, automated verification and proof description languages.In 2015, he was honored with Silver Medal from Royal Academy of Engineering.".
- Don_Syme wikiPageExternalLink dsyme.
- Don_Syme wikiPageExternalLink fsharp.
- Don_Syme wikiPageExternalLink F-Sharp-Don-Syme.
- Don_Syme wikiPageID "24873554".
- Don_Syme wikiPageLength "3014".
- Don_Syme wikiPageOutDegree "18".
- Don_Syme wikiPageRevisionID "671293760".
- Don_Syme wikiPageWikiLink Anders_Hejlsberg.
- Don_Syme wikiPageWikiLink Automated_proof_checking.
- Don_Syme wikiPageWikiLink Bjarne_Stroustrup.
- Don_Syme wikiPageWikiLink C++.
- Don_Syme wikiPageWikiLink C_Sharp_(programming_language).
- Don_Syme wikiPageWikiLink Category:Australian_computer_scientists.
- Don_Syme wikiPageWikiLink Category:Living_people.
- Don_Syme wikiPageWikiLink Category:Programming_language_designers.
- Don_Syme wikiPageWikiLink Category:Programming_language_researchers.
- Don_Syme wikiPageWikiLink Computer_science.
- Don_Syme wikiPageWikiLink F_Sharp_(programming_language).
- Don_Syme wikiPageWikiLink Formal_specification.
- Don_Syme wikiPageWikiLink Formal_verification.
- Don_Syme wikiPageWikiLink Generic_programming.
- Don_Syme wikiPageWikiLink Interactive_proof.
- Don_Syme wikiPageWikiLink Microsoft_Research.
- Don_Syme wikiPageWikiLink Royal_Academy_of_Engineering.
- Don_Syme wikiPageWikiLink University_of_Cambridge.
- Don_Syme wikiPageWikiLinkText "Don Syme".
- Don_Syme hasPhotoCollection Don_Syme.
- Don_Syme name "Syme, Don".
- Don_Syme shortDescription "Australian computer scientist".
- Don_Syme wikiPageUsesTemplate Template:Persondata.
- Don_Syme wikiPageUsesTemplate Template:Reflist.
- Don_Syme description "Australian computer scientist".
- Don_Syme description "Australian computer scientist".
- Don_Syme subject Category:Australian_computer_scientists.
- Don_Syme subject Category:Living_people.
- Don_Syme subject Category:Programming_language_designers.
- Don_Syme subject Category:Programming_language_researchers.
- Don_Syme hypernym Scientist.
- Don_Syme type Agent.
- Don_Syme type List.
- Don_Syme type Person.
- Don_Syme type Scientist.
- Don_Syme type Designer.
- Don_Syme type List.
- Don_Syme type Scientist.
- Don_Syme type Person.
- Don_Syme type Agent.
- Don_Syme type NaturalPerson.
- Don_Syme type Thing.
- Don_Syme type Q215627.
- Don_Syme type Q5.
- Don_Syme type Person.
- Don_Syme comment "Don Syme is an Australian computer scientist and a Principal Researcher at Microsoft Research, Cambridge, U.K.".
- Don_Syme label "Don Syme".
- Don_Syme sameAs Дон_Сайм.
- Don_Syme sameAs m.09gq4hs.
- Don_Syme sameAs Сайм,_Дон.
- Don_Syme sameAs Q3655362.
- Don_Syme sameAs Q3655362.
- Don_Syme wasDerivedFrom Don_Syme?oldid=671293760.
- Don_Syme givenName "Don".
- Don_Syme isPrimaryTopicOf Don_Syme.
- Don_Syme name "Don Syme".
- Don_Syme name "Syme, Don".
- Don_Syme surname "Syme".