Don Syme

URI: https://gptkb.org/entity/Don_Syme
GPTKB entity
Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:computer_scientist
gptkbp:almaMater gptkb:University_of_Cambridge
gptkbp:awardReceived gptkb:Royal_Society_Milner_Award
gptkb:ACM_SIGPLAN_Programming_Languages_Software_Award
gptkbp:birthPlace gptkb:Australia
gptkbp:contributedTo gptkb:.NET_Common_Language_Runtime
Generics in .NET
gptkbp:doctoralAdvisor gptkb:Mike_Gordon
gptkbp:employer gptkb:Microsoft_Research
gptkbp:field gptkb:programming_language
formal methods
type systems
https://www.w3.org/2000/01/rdf-schema#label Don Syme
gptkbp:knownFor gptkb:F#_programming_language
gptkbp:nationality gptkb:Australian
gptkbp:occupation gptkb:computer_scientist
gptkbp:thesisTitle Applications of Typed Lambda Calculi
gptkbp:thesisYear 1999
gptkbp:bfsParent gptkb:F#
gptkbp:bfsLayer 5