David MacQueen

E821862

David MacQueen is a computer scientist known for his influential work on the design and formal definition of the Standard ML programming language.

All labels observed (1)

Label Occurrences
David MacQueen canonical 2

How this entity was disambiguated

Statements (19)

Predicate Object
instanceOf computer scientist ⓘ
associatedWith Standard ML community ⓘ
coauthored papers on the semantics of Standard ML ⓘ
contributedTo Standard ML ⓘ
Standard ML language design ⓘ
field computer science ⓘ
hasNotableWork design and formal definition of Standard ML ⓘ
influenced design of typed module systems ⓘ
development of functional programming languages ⓘ
knownFor design of the Standard ML programming language ⓘ
formal definition of the Standard ML programming language ⓘ
work on module systems for functional programming languages ⓘ
nationality American ⓘ
researchArea formal semantics of programming languages ⓘ
functional programming ⓘ
language design ⓘ
workedOn module systems ⓘ
programming languages ⓘ
type systems ⓘ

How these facts were elicited

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

The Definition of Standard ML → author → David MacQueen ⓘ
SML/NJ → hasNotableUser → David MacQueen ⓘ