Mads Tofte
E808840
Mads Tofte is a Danish computer scientist known for his influential work on the design and implementation of the Standard ML programming language and its type system.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Mads Tofte canonical | 2 |
Statements (31)
| Predicate | Object |
|---|---|
| instanceOf | human ⓘ |
| countryOfCitizenship | Denmark ⓘ |
| doctoralAdvisor | Robin Milner NERFINISHED ⓘ |
| educatedAt | University of Copenhagen NERFINISHED ⓘ |
| employer | University of Copenhagen NERFINISHED ⓘ |
| fieldOfWork |
computer science
ⓘ
functional programming ⓘ programming language implementation ⓘ programming languages ⓘ region-based memory management ⓘ semantics of programming languages ⓘ type inference ⓘ type systems ⓘ type theory ⓘ |
| gender | male ⓘ |
| hasAcademicDegree | PhD in computer science ⓘ |
| hasFamilyName | Tofte NERFINISHED ⓘ |
| hasGivenName | Mads NERFINISHED ⓘ |
| knownFor |
design of the Standard ML programming language
ⓘ
implementation of the Standard ML programming language ⓘ work on the Standard ML type system ⓘ |
| languageWritten | Standard ML NERFINISHED ⓘ |
| nationality | Danish ⓘ |
| nativeLanguage | Danish ⓘ |
| notableWork |
Standard ML
NERFINISHED
ⓘ
Standard ML type system NERFINISHED ⓘ contributions to the formal definition of Standard ML ⓘ research on region-based memory management for Standard ML ⓘ |
| occupation |
computer scientist
ⓘ
university teacher ⓘ |
| workLocation | Copenhagen NERFINISHED ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.