Statements (56)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:contributedTo |
Haskell ecosystem
category theory in programming |
| gptkbp:education |
gptkb:Rensselaer_Polytechnic_Institute
|
| gptkbp:employer |
gptkb:Meta_(Facebook)
|
| gptkbp:field |
gptkb:logic
gptkb:mathematics gptkb:programming_language gptkb:category_theory software engineering functional programming |
| gptkbp:github |
ekmett
|
| https://www.w3.org/2000/01/rdf-schema#label |
Edward Kmett
|
| gptkbp:knownFor |
gptkb:Haskell_programming_language
contributions to functional programming lens library |
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notableWork |
gptkb:algebra
free pipes reflection pointed transformers lens machines distributive void semigroups groupoids contravariant comonad adjunctions bifunctors bound category-extras codensity comonad-transformers compdata contravariant-extras fingertree kan-extensions log-domain mtl profunctor-extras profunctors recursion-schemes semigroupoids unification-fd |
| gptkbp:occupation |
gptkb:computer_scientist
gptkb:software_engineer |
| gptkbp:twitter |
kmett
|
| gptkbp:website |
https://github.com/ekmett
https://twitter.com/kmett |
| gptkbp:bfsParent |
gptkb:Strange_Loop
gptkb:Haskell_Prime_committee |
| gptkbp:bfsLayer |
7
|