An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming Export

@misc{citeulike:1190619, abstract = {Incorporating imperative features into a purely functional language has become an active area of research within the functional programming community [10, 7, 12]. One of the techniques gaining widespread acceptance as a model for imperative functional programming is monads [13, 9]. The purpose of this technical report is to give a category theoretic introduction to monads, and to explore the relationship to what functional programmers term a monad. Keywords: Monads; Category theory; Kleisli...}, author = {Hill, Jonathan M. D. and Clarke, Keith}, citeulike-article-id = {1190619}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.6497}, keywords = {category-theory, fp, haskell, monads}, posted-at = {2007-03-28 02:36:39}, priority = {0}, title = {An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.6497} }

TY - GEN ID - citeulike:1190619 L3 - citeulike-article-id:1190619 N2 - Incorporating imperative features into a purely functional language has become an active area of research within the functional programming community [10, 7, 12]. One of the techniques gaining widespread acceptance as a model for imperative functional programming is monads [13, 9]. The purpose of this technical report is to give a category theoretic introduction to monads, and to explore the relationship to what functional programmers term a monad. Keywords: Monads; Category theory; Kleisli... TI - An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming KW - category-theory KW - fp KW - haskell KW - monads AU - Hill, Jonathan AU - Clarke, Keith UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.6497 ER -