Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Person
|
| gptkbp:affiliation |
gptkb:University_of_Utah
|
| gptkbp:contribution |
gptkb:language
|
| gptkbp:field |
programming language design
|
| https://www.w3.org/2000/01/rdf-schema#label |
Oleg Kiselyov
|
| gptkbp:known_for |
functional programming
|
| gptkbp:nationality |
gptkb:Author
|
| gptkbp:occupation |
gptkb:physicist
|
| gptkbp:publishes |
The Essence of Functional Programming
A Type-safe Embedding of the Scheme Language Type-safe embedding of DS Ls in Haskell |
| gptkbp:research_interest |
gptkb:language
type systems |
| gptkbp:bfsParent |
gptkb:Robert_Harper
|
| gptkbp:bfsLayer |
4
|