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 1

How this entity was disambiguated

Statements (19)

Predicate Object
instanceOf computer scientist
associatedWith Standard ML community NERFINISHED
coauthored papers on the semantics of Standard ML
contributedTo Standard ML NERFINISHED
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 (1)

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

The Definition of Standard ML author David MacQueen