Properties (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:hasAffiliation |
gptkb:Danish_National_Research_Foundation
|
| gptkbp:hasClient |
Compiler Construction
Program Analysis Theoretical_Computer_Science |
| gptkbp:hasPublications |
Numerous Papers
|
| gptkbp:hasResearchInterest |
Programming Languages
Type_Systems |
| https://www.w3.org/2000/01/rdf-schema#label |
Olivier Danvy
|
| gptkbp:knownFor |
Functional_Programming
|
| gptkbp:worksAt |
gptkb:Aarhus_University
|