Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:University_of_Copenhagen
|
| gptkbp:coauthor |
gptkb:Robin_Milner
gptkb:Jean-Pierre_Talpin |
| gptkbp:dateOfBirth |
1959-05-20
|
| gptkbp:doctoralAdvisor |
gptkb:Robin_Milner
|
| gptkbp:fieldOfWork |
gptkb:programming_language
computer science type systems |
| https://www.w3.org/2000/01/rdf-schema#label |
Mads Tofte
|
| gptkbp:knownFor |
gptkb:ML_programming_language
type inference region inference |
| gptkbp:memberOf |
gptkb:Royal_Danish_Academy_of_Sciences_and_Letters
|
| gptkbp:nationality |
Danish
|
| gptkbp:occupation |
gptkb:computer_scientist
|
| gptkbp:positionHeld |
gptkb:professor
gptkb:Dean_of_Faculty_of_Science,_University_of_Copenhagen |
| gptkbp:thesisTitle |
Type inference for polymorphic references
|
| gptkbp:thesisYear |
1988
|
| gptkbp:workInstitution |
gptkb:University_of_Copenhagen
|
| gptkbp:bfsParent |
gptkb:The_Definition_of_Standard_ML_(book)
|
| gptkbp:bfsLayer |
6
|