Difference between revisions of "Hask"
Jump to navigation
Jump to search
(add link) |
m |
||
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?''] |
+ | * [http://www.cs.gunma-u.ac.jp/~hamana/Papers/cpo.pdf Makoto Hamana: ''What is the category for Haskell?''] |
{{stub}} |
{{stub}} |
Revision as of 21:55, 18 May 2009
Hask is the name usually given to the category having Haskell types as objects and Haskell functions between them as morphisms.
This article is a stub. You can help by expanding it.