A. Bauer and M. Pretnar, An Effect System for Algebraic Effects and Handlers, CALCO, vol.2013, pp.1-16

A. Carboni, S. Lack, and R. F. Walters, Introduction to extensive and distributive categories, Journal of Pure and Applied Algebra, vol.84, issue.2, pp.145-158, 1993.
DOI : 10.1016/0022-4049(93)90035-R
URL : http://doi.org/10.1016/0022-4049(93)90035-r

C. Domínguez and D. Duval, Diagrammatic logic applied to a parameterisation process, Mathematical Structures in Computer Science, vol.87, issue.04, pp.639-654, 2010.
DOI : 10.1016/S0022-4049(96)00007-2

J. Dumas, D. Duval, L. Fousse, and J. Reynaud, Decorated proofs for computational effects: States. ACCAT 2012, Electronic Proceedings in Theoretical Computer Science 93, pp.45-59, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00828544

J. Dumas, D. Duval, L. Fousse, and J. Reynaud, A duality between exceptions and states, Mathematical Structures in Computer Science, vol.3116, issue.04, pp.719-722, 2012.
DOI : 10.1016/j.entcs.2006.04.014
URL : https://hal.archives-ouvertes.fr/hal-00828521

J. Dumas, D. Duval, and J. Reynaud, Cartesian effect categories are Freyd-categories, Journal of Symbolic Computation, vol.46, issue.3, pp.272-293, 2011.
DOI : 10.1016/j.jsc.2010.09.008
URL : https://hal.archives-ouvertes.fr/hal-00369328

J. Dumas, D. Duval, and J. Reynaud, A decorated proof system for exceptions, 2013.

J. Dumas, D. Duval, B. Ekici, and D. Pous, Formal verification in Coq of program properties involving the global state effect, JFLA'2014: Journes Francophones des Langages Applicatifs, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00869230

J. Gibbons and M. Johnson, Relating Algebraic and Coalgebraic Descriptions of Lenses BX 2012, ECEASST, vol.49, 2012.

J. Hughes, Generalising monads to arrows, Science of Computer Programming, vol.37, issue.1-3, p.67111, 2000.
DOI : 10.1016/S0167-6423(99)00023-4
URL : http://doi.org/10.1016/s0167-6423(99)00023-4

J. Gosling, B. Joy, G. Steele, and G. Bracha, The Java Language Specification, Third Edition, 2005.

M. Hyland, G. D. Plotkin, and J. Power, Combining effects: Sum and tensor, Theoretical Computer Science, vol.357, issue.1-3, pp.70-99, 2006.
DOI : 10.1016/j.tcs.2006.03.013
URL : http://doi.org/10.1016/j.tcs.2006.03.013

B. Jacobs, A Formalisation of Java???s Exception Mechanism, LNCS, vol.2028, pp.284-301, 2001.
DOI : 10.1007/3-540-45309-1_19

B. Jacobs, Bases as Coalgebras, Logical Methods in Computer Science, vol.9, issue.3, 2013.
DOI : 10.1007/978-3-642-22944-2_17

L. Paul-blain, Monads and adjunctions for global exceptions. MFPS, Electronic Notes in Theoretical Computer Science, vol.158, pp.261-287, 2006.

J. M. Lucassen and D. K. Gifford, Polymorphic effect systems, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.47-57, 1988.
DOI : 10.1145/73560.73564
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.4916

S. Mac and L. , Categories for the Working Mathematician, 1978.

E. Moggi, Notions of computation and monads, Information and Computation, vol.93, issue.1, pp.55-92, 1991.
DOI : 10.1016/0890-5401(91)90052-4

G. Munch, Models of a Non-Associative Composition, Proc. FoSSaCS, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00996729

T. Petricek, D. A. Orchard, and A. Mycroft, Coeffects: Unified Static Analysis of Context-Dependence, ICALP, vol.2013, issue.2, pp.385-397
DOI : 10.1007/978-3-642-39212-2_35

A. M. Pitts, Categorical Logic Handbook of Logic in Computer Science Algebraic and Logical Structures, 2000.

G. D. Plotkin and J. Power, Notions of Computation Determine Monads, FoSSaCS 2002, pp.342-356, 2002.
DOI : 10.1007/3-540-45931-6_24

G. D. Plotkin and J. Power, Algebraic Operations and Generic Effects, Applied Categorical Structures, vol.11, issue.1, pp.69-94, 2003.
DOI : 10.1023/A:1023064908962

G. D. Plotkin and M. Pretnar, Handlers of Algebraic Effects, LNCS, vol.5502, pp.80-94, 2009.
DOI : 10.1007/978-3-642-00590-9_7

J. Power and E. Robinson, Premonoidal categories and notions of computation, Mathematical Structures in Computer Science, vol.7, issue.5, p.453468, 1997.
DOI : 10.1017/S0960129597002375

R. Tate, The sequential semantics of producer effect systems. POPL 2013, pp.15-26, 2013.

T. Uustalu and V. Vene, Comonadic Notions of Computation, Electronic Notes in Theoretical Computer Science, vol.203, issue.5, pp.263-284, 2008.
DOI : 10.1016/j.entcs.2008.05.029

P. Wadler, The essence of functional programming. POPL 1992, pp.1-14, 1992.

P. Wadler, Call-by-Value Is Dual to Call-by-Name ??? Reloaded, pp.185-203, 2005.
DOI : 10.1007/978-3-540-32033-3_15