Algebras for parameterised monads

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

Volumn 5728 LNCS, Issue , 2009, Pages 3-17

  Atkey, Robert ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADJUNCTIONS; GENERALISATION; TYPE AND EFFECT SYSTEMS;

COMPUTER SCIENCE;

ALGEBRA;

EID: 70350361238     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03741-2_2     Document Type: Conference Paper

References (11)

1. Atkey, R.: Parameterised notions of computation. Journal of Functional Programming 19 (2009)
2. Beck, J.M.: Triples, algebras and cohomology. Reprints in Theory and Applications of Categories 2, 1-59 (2003)
3. Benton, N., Kennedy, A., Hofmann, M., Beringer, L.: Reading, writing and relations. In: Kobayashi, N. (ed.) APLAS 2006. LNCS, vol. 4279, pp. 114-130. Springer, Heidelberg (2006)
4. Gifford, D.K., Lucassen, J.M.: Integrating functional and imperative programming. In: ACM Conference on LISP and Functional Programming (1986)
5. Katsumata, S.-y.: A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. In: Ong, L. (ed.) CSL 2005. LNCS, vol. 3634, pp. 87-102. Springer, Heidelberg (2005)
6. Levy, P.B., Power, J., Thielecke, H.: Modelling environments in call-by-value programming languages. Inf. and Comp. 185, 182-210 (2003)
7. Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics, vol. 5. Springer, Heidelberg (1998)
8. Moggi, E.: Notions of computation and monads. Information and Computation 93(1), 55-92 (1991)
9. Plotkin, G., Power, J.: Notions of computation determine monads. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol. 2303, pp. 342-356. Springer, Heidelberg (2002)
10. Robinson, E.: Variations on algebra: Monadicity and generalisations of equational theories. Formal Asp. Comput. 13(3-5), 308-326 (2002)
11. Skalka, C., Smith, S.: History Effects and Verification. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 107-128. Springer, Heidelberg (2004)