Hask
From HaskellWiki
(Difference between revisions)
(Created stub) |
(add link) |
||
| Line 1: | Line 1: | ||
'''Hask''' is the name usually given to the [[Category theory|category]] having Haskell types as objects and Haskell functions between them as morphisms. | '''Hask''' is the name usually given to the [[Category theory|category]] having Haskell types as objects and Haskell functions between them as morphisms. | ||
| + | |||
| + | [http://www.cs.gunma-u.ac.jp/~hamana/Papers/cpo.pdf Makoto Hamana: ''What is the category for Haskell?''] | ||
{{stub}} | {{stub}} | ||
[[Category:Mathematics]] | [[Category:Mathematics]] | ||
Revision as of 21:54, 18 May 2009
Hask is the name usually given to the category having Haskell types as objects and Haskell functions between them as morphisms.
Makoto Hamana: What is the category for Haskell?
This article is a stub. You can help by expanding it.
