Properties (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:hasAffiliation |
gptkb:University_of_Utah
|
| gptkbp:hasAwards |
Best Paper Award
Outstanding Educator Award |
| gptkbp:hasContribution |
Programming Languages
Software Engineering |
| gptkbp:hasFieldOfUse |
Computer Science
|
| gptkbp:hasInfluenceOn |
Software Development Practices
Academic_Research_in_Computer_Science |
| gptkbp:hasOccupation |
Professor
Computer_Scientist |
| gptkbp:hasPublications |
Type_Systems
Functional_Programming |
| gptkbp:hasResearchInterest |
Software Verification
Programming_Language_Design |
| https://www.w3.org/2000/01/rdf-schema#label |
David A. Walker
|