Spahn
Haskell
Haskell is a purely functional programming? language?. It is named after Haskell Brooks Curry?.
There is a category whose objects are Haskell types? and whose morphisms are Haskell functions.
References
-
Haskell, language and library specification, wiki
-
haskellwiki, wiki
-
category theory, haskellwiki, wiki