Modular monad transformers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5502, Issue , 2009, Pages 64-79

  Jaskelioff, Mauro ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL EFFECTS; FUNCTIONAL PROGRAMS; INDISPENSABLE TOOLS; MATHEMATICAL NOTION; MONAD TRANSFORMERS;

EID: 67650130444     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00590-9_6     Document Type: Conference Paper

References (20)

1. Barendregt, H.: Lambda calculi with types. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, pp. 117-309. Oxford University Press, Oxford (1992)
2. Barr, M., Wells, C.: Toposes, Triples and Theories. Grundlehren der mathematischen Wissenschaften, vol. 278. Springer, New York (1985)
3. Benton, N., Hughes, J., Moggi, E.: Monads and effects. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol. 2395, pp. 42-122. Springer, Heidelberg (2002)
4. Coquand, T., Huet, G.P.: The calculus of constructions. Inf. Comput. 76(2/3), 95-120 (1988)
5. Ghani, N.: Eta-expansions in F-omega. In: van Dalen, D., Bezem, M. (eds.) CSL 1996. LNCS, vol. 1258, pp. 182-197. Springer, Heidelberg (1997)
6. Harper, R., Mitchell, J.C., Moggi, E.: Higher-order modules and the phase distinction. In: POPL, pp. 341-354 (1990) (Pubitemid 20681764)
7. Hyland, M., Plotkin, G.D., Power, J.: Combining effects: Sum and tensor. Theor. Comput. Sci. 357(1-3), 70-99 (2006) (Pubitemid 43946590)
8. Jaskelioff, M.: Monatron: an extensible monad transformer library (submitted for publication) (2008), http://www.cs.nott.ac.uk/~mjj/pubs/monatron. pdf
9. Peyton Jones, S.L., Wadler, P.: Imperative functional programming. In: POPL, pp. 71-84 (1993) (Pubitemid 23631655)
10. Liang, S., Hudak, P., Jones, M.: Monad transformers and modular interpreters. In: POPL, pp. 333-343 (1995)
11. Lüth, C., Ghani, N.: Composing monads using coproducts. In: ICFP, pp. 133-144 (2002)
12. Mac Lane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol. 5. Springer, Heidelberg (1971)
13. Moggi, E.: Computational lambda-calculus and monads. In: LICS, pp. 14-23. IEEE Computer Society, Los Alamitos (1989) (Pubitemid 20617510)
14. Moggi, E.: Notions of computation and monads. Information and Computation 93(1), 55-92 (1991) (Pubitemid 21700565)
15. Moggi, E.: Metalanguages and applications. In: Semantics and Logics of Computation. Publications of the Newton Institute. CUP (1997)
16. Pierce, B.C.: Basic Category Theory for Computer Scientists (Foundations of Computing). MIT Press, Cambridge (1991)
17. Plotkin, G.D., Power, J.: Semantics for algebraic operations. In: ENTCS, vol. 45 (2001)
18. Reynolds, J.C., Plotkin, G.D.: On functors expressible in the polymorphic typed lambda calculus. Inf. Comput. 105(1), 1-29 (1993)
19. Wadler, P.: Comprehending monads. MSCS 2(4), 461-493 (1992)
20. Wadler, P.: The essence of functional programming. In: POPL, pp. 1-14 (1992)