Monad transformers as monoid transformers

Theoretical Computer Science

Volumn 411, Issue 51-52, 2010, Pages 4441-4466

  Jaskelioff, Mauro ^a   Moggi, Eugenio ^b  

^a UNIVERSIDAD NACIONAL DE ROSARIO   (Argentina)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

Monad; Monoid; Monoidal category

Indexed keywords

COMPUTATIONAL FEATURES; INCREMENTAL APPROACH; MODULAR MONADIC SEMANTICS; MONAD; MONAD TRANSFORMERS; MONOID; MONOIDAL CATEGORIES; MONOIDS; SYSTEM F;

ALGEBRA;

EID: 78649334967     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2010.09.011     Document Type: Conference Paper

References (42)

1. M. Abbott, T. Altenkirch, and N. Ghani Categories of containers A.D. Gordon, FoSSaCS Lect. Notes in Comput. Sci. vol. 2620 2003 Springer 23 38
2. R. Atkey, What is a categorical model of arrows? in: Mathematically Structured Functional Programming, Electron. Notes Theor. Comput. Sci, 2008 (in press).
3. H. Barendregt Lambda calculi with types S. Abramsky, D.M. Gabbay, T.S.E. Maibaum, Handbook of Logic in Computer Science 1992 Oxford University Press 117 309
4. M. Barr, and C. Wells Toposes, Triples and Theories Grundlehren der mathematischen Wissenschaften vol. 278 1985 Springer-Verlag New York
5. M. Barr, and C. Wells Category Theory for Computer Science 1995 Prentice Hall
6. J. Bnabou Introduction to bicategories Reports of the Midwest Category Seminar Springer Lecture Notes in Mathematics vol. 47 1967 Springer-Verlag 1 77
7. N. Benton, J. Hughes, and E. Moggi Monads and effects International Summer School On Applied Semantics APPSEM2000 2000 Springer-Verlag 42 122
8. F. Borceux Handbook of Categorical Algebra 1994 Cambridge University Press
9. K.B. Bruce, A.R. Meyer, and J.C. Mitchell The semantics of the second-order lambda calculus Inf. Comput. 85 1990 76 134
10. G. Castagna, Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009 Lect. Notes in Comput. Sci. vol. 5502 2009 Springer
11. M. Fiore, and C.-K. Hur On the construction of free algebras for equational systems Theoret. Comput. Sci. 410 18 2009 1704 1729
12. N. Ghani Eta-expansions in F-omega Proceedings of CSL'96 Lecture Notes in Computer Science vol. 1258 1996 Springer-Verlag 182 197
13. C. Heunen, and B. Jacobs Arrows, like monads, are monoids Electron. Notes Theor. Comput. Sci. 158 2006 219 236
14. J. Hughes Generalising monads to arrows Sci. Comput. Programming 37 13 2000 67 111
15. M. Hyland, G.D. Plotkin, and J. Power Combining effects: Sum and tensor Theor. Comput. Sci. 357 13 2006 70 99
16. M. Jaskelioff, Monatron: an extensible monad transformer library, in: Implementation and Application of Functional Languages, IFL08, 2008 (in press).
17. M. Jaskelioff, Modular monad transformers, in: G. Castagna [10], pp. 6479.
18. S.L. Peyton Jones, P. Wadler, Imperative functional programming, in: 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993, pp. 7184.
19. G.M. Kelly A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on Bull. Aust. Math. Soc. 22 01 1980 1 83
20. G.M. Kelly, and J. Power Adjunctions whose counits are coequalizers and presentations of finitary monads J. Pure Appl. Algebra 89 12 1993 163 179
21. G.M. Kelly, and R.H. Street Review of the elements of 2-categories A. Dold, B. Eckmann, Category Seminar Lect. Notes in Math. vol. 420 1974 Springer
22. J. Lambek From lambda calculus to cartesian closed categories To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism 1980 Academic Press 375 402
23. J. Lambek, and P.J. Scott Introduction to Higher Order Categorical Logic 1986 Cambridge University Press
24. S. Liang, and P. Hudak Modular denotational semantics for compiler construction H.R. Nielson, ESOP Lect. Notes in Comput. Sci. vol. 1058 1996 Springer 219 234
25. S. Liang, P. Hudak, M. Jones, Monad transformers and modular interpreters, in: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995, pp. 333343.
26. J.R. Longley, Realizability toposes and language semantics, Ph.D. Thesis, University of Edinburgh, 1994.
27. C. Lth, N. Ghani, Composing monads using coproducts, in: 7th ACM SIGPLAN International Conference on Functional Programming, 2002, pp. 133144.
28. S. MacLane Categories for the Working Mathematician second edition Graduate Texts in Mathematics vol. 5 1998 Springer-Verlag
29. E.G. Manes Algebraic Theories 1976 Springer-Verlag
30. E.G. Manes Implementing collection classes with monads Math. Structures Comput. Sci. 8 3 1998 231 276
31. E. Moggi Computational lambda-calculus and monads 4th Annual Symposium on Logic in Computer Science 1989 IEEE Computer Society 14 23
32. E. Moggi Notions of computation and monads Inf. Comput. 93 1 1991 55 92
33. E. Moggi Metalanguages and applications Semantics and Logics of Computation 1997 Publications of the Newton Institute CUP
34. Andrew M. Pitts Tripos theory in retrospect Math. Structures Comput. Sci. 12 3 2002 265 279
35. G.D. Plotkin, and J. Power Semantics for algebraic operations Electron. Notes Theor. Comput. Sci. 45 2001
36. G.D. Plotkin, and J. Power Notions of computation determine monads M. Nielsen, U. Engberg, FoSSaCS Lect. Notes in Comput. Sci. vol. 2303 2002 Springer 342 356
37. G.D. Plotkin, M. Pretnar, Handlers of algebraic effects. in: G. Castagna [10], pp. 8094.
38. J. Polakow, and F. Pfenning Natural deduction for intuitionistic non-communicative linear logic J.-Y. Girard, TLCA Lect. Notes in Comput. Sci. vol. 1581 1999 Springer 295 309
39. J. Power, and E. Robinson Premonoidal categories and notions of computation Math. Structures Comput. Sci. 7 5 1997 453 468
40. D.S. Scott Relating theories of the λ-calculus R. Hindley, J. Seldin, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism 1980 Academic Press
41. P. Wadler Comprehending monads Math. Structures Comput. Sci. 2 4 1992 461 493
42. P. Wadler, The essence of functional programming, in: 9th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992, pp. 114.