|
gptkbp:instanceOf
|
gptkb:physicist
|
|
gptkbp:academicAdvisor
|
gptkb:David_Turner
|
|
gptkbp:affiliation
|
gptkb:University_of_Edinburgh
|
|
gptkbp:awards
|
ACM Fellow
Royal_Society_Fellow
|
|
gptkbp:birthYear
|
1955
|
|
gptkbp:collaborations
|
gptkb:Andrew_W._Appel
gptkb:Robert_Harper
gptkb:John_Hughes
gptkb:Xavier_Leroy
gptkb:Martin_Odersky
|
|
gptkbp:community
|
Functional_Programming_Group
Programming_Languages_Group
|
|
gptkbp:contribution
|
ML Language
Type_Systems
|
|
gptkbp:education
|
gptkb:University_of_Cambridge
gptkb:University_of_Edinburgh
|
|
gptkbp:field
|
Computer Science
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
David B. MacQueen
|
|
gptkbp:influence
|
Software Development
Research in Programming Languages
Type Safety
Compiler Construction
Language Implementation
Software Engineering Practices
Programming_Language_Design
Functional_Programming_Paradigm
|
|
gptkbp:influenced
|
Haskell Language
|
|
gptkbp:influencedBy
|
gptkb:John_McCarthy
|
|
gptkbp:inventor
|
gptkb:SML/NJ
gptkb:MLton
gptkb:ML_Family_of_Languages
ML Kit
Standard ML
|
|
gptkbp:knownFor
|
Programming Languages
Functional_Programming
|
|
gptkbp:nationality
|
Scottish
|
|
gptkbp:notableFeature
|
gptkb:Simon_Peyton_Jones
gptkb:Philip_Wadler
|
|
gptkbp:publishes
|
The ML Language
Type Inference in ML
|
|
gptkbp:researchFocus
|
Type Inference
Compiler_Design
|