Generalized monoidal effects and handlers

[1]  Gordon D. Plotkin,et al.  Handlers of Algebraic Effects , 2009, ESOP.

[2]  Oleg Kiselyov,et al.  Freer monads, more extensible effects , 2015, Haskell.

[3]  Neil Mitchell.  Shake before building: replacing make with haskell , 2012, ICFP '12.

[4]  Philip Wadler,et al.  Comprehending monads , 1990, LISP and Functional Programming.

[5]  Simon L. Peyton Jones,et al.  Desugaring Haskell's do-notation into applicative operations , 2016, Haskell.

[6]  Russell O'Connor,et al.  A representation theorem for second-order functionals , 2015, J. Funct. Program..

[7]  Sam Lindley.  Algebraic effects and effect handlers for idioms and arrows , 2014, WGP '14.

[8]  Philip Wadler,et al.  Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous , 2011, Electron. Notes Theor. Comput. Sci..

[9]  Jeremy Gibbons.  Free delivery (functional pearl) , 2016, Haskell.

[10]  Eugenio Moggi,et al.  Notions of Computation and Monads , 1991, Inf. Comput..

[11]  Edwin Brady,et al.  Programming and reasoning with algebraic effects and dependent types , 2013, ICFP.

[12]  Ross Paterson,et al.  A new notation for arrows , 2001, ICFP '01.

[13]  Andrej Bauer,et al.  Programming with algebraic effects and handlers , 2012, J. Log. Algebraic Methods Program..

[14]  Stuart I. Feldman,et al.  Make — a program for maintaining computer programs , 1979, Softw. Pract. Exp..

[15]  Conor McBride,et al.  Applicative programming with effects , 2008, J. Funct. Program..

[16]  Conor McBride,et al.  Do be do be do , 2017, POPL.

[17]  Exequiel Rivas.  Relating Idioms, Arrows and Monads from Monoidal Adjunctions , 2018, MSFP@FSCD.

[18]  R. Street,et al.  Doubles for monoidal categories: Dedicated to Walter Tholen on his 60th birthday , 2008 .

[19]  Daan Leijen,et al.  Type directed compilation of row-typed algebraic effects , 2017, POPL.

[20]  Tom Schrijvers,et al.  Handlers for Non-Monadic Computations , 2017, IFL.

[21]  John Hughes,et al.  Generalising monads to arrows , 2000, Sci. Comput. Program..

[22]  Tom Schrijvers,et al.  From monoids to near-semirings: the essence of MonadPlus and alternative , 2015, PPDP.

[23]  Ambrus Kaposi,et al.  Free Applicative Functors , 2014, MSFP.

[24]  Exequiel Rivas,et al.  Notions of computation as monoids* , 2014, Journal of Functional Programming.