Properties (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:affiliation |
gptkb:University_of_Alberta
|
| gptkbp:awards |
Best Paper Award
|
| gptkbp:birthPlace |
gptkb:Canada
|
| gptkbp:collaboratedWith |
gptkb:Philip_Wadler
|
| gptkbp:contribution |
Functional programming
Type inference algorithms |
| gptkbp:education |
PhD_in_Computer_Science
|
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
M. P. S. Selinger
|
| gptkbp:influencedBy |
gptkb:John_Backus
|
| gptkbp:influences |
Haskell_programming_language
|
| gptkbp:knownFor |
Contributions to computer science
|
| gptkbp:language |
gptkb:Haskell
|
| gptkbp:notableWork |
Type systems
|
| gptkbp:project |
gptkb:GHC_(Glasgow_Haskell_Compiler)
|
| gptkbp:publishes |
Research papers on type theory
|
| gptkbp:releaseYear |
2001
2004 2008 2010 2015 |
| gptkbp:researchAreas |
Programming languages
|
| gptkbp:researchInterest |
Compiler optimization
|