M. Abadi, A. Banerjee, N. Heintze & J.G. Riecke (1999):
A core calculus of dependency.
In: POPL,
doi:10.1145/292540.292555.
Thorsten Altenkirch, James Chapman & Tarmo Uustalu (2010):
Monads need not be endofunctors.
In: FOSSACS,
doi:10.1007/978-3-642-12032-9_21.
Robert Atkey (2009):
Parameterised notions of computation.
Journal of Functional Programming 19(3 & 4),
pp. 335–376,
doi:10.1017/S095679680900728X.
Greg Cooper & Shriram Krishnamurthi (2006):
Embedding dynamic dataflow in a call-by-value language.
In: ESOP,
doi:10.1007/11693024_20.
K. Crary, A. Kliger & F. Pfenning (2005):
A monadic analysis of information flow security with mutable state.
J. Funct. Program. 15(02),
pp. 249–291,
doi:10.1017/S0956796804005441.
D. Devriese & F. Piessens (2011):
Information flow enforcement in monadic libraries.
In: TLDI,
doi:10.1145/1929553.1929564.
Mark P. Jones (1993):
Coherence for Qualified Types.
Technical Report YALEU/DCS/RR-989.
Yale University.
Mark P. Jones (1994):
Simplifying and Improving Qualified Types.
Technical Report YALEU/DCS/RR-1040.
Yale University.
O. Kiselyov & C. Shan (2008):
Lightweight monadic regions.
In: Haskell Symposium,
doi:10.1145/1411286.1411288.
Edward Kmett (2012):
Control.Monad.Parameterized package.
On Hackage repository.
P. Li & S. Zdancewic (2006):
Encoding information flow in Haskell.
In: CSFW,
doi:10.1109/CSFW.2006.13.
E. Moggi (1989):
Computational Lambda-calculus and Monads.
In: Proceedings of the Fourth Annual Symposium on Logic in Computer Science.
IEEE Press,
pp. 14–23,
doi:10.1109/lics.1989.39155.
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster & Polyvios Pratikakis (2008):
Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming.
In: POPL,
doi:10.1145/1328438.1328447.
Gordon D. Plotkin & John Power (2001):
Semantics for Algebraic Operations.
Electr. Notes Theor. Comput. Sci. 45,
doi:10.1016/S1571-0661(04)80970-8.
R. Pucella & J.A. Tov (2008):
Haskell session types with (almost) no class.
In: Haskell Symposium,
doi:10.1145/1411286.1411290.
Norman Ramsey & Avi Pfeffer (2002):
Stochastic lambda calculus and monads of probability distributions.
In: POPL,
doi:10.1145/565816.503288.
Alejandro Russo, Koen Claessen & John Hughes (2008):
A library for lightweight information-flow security in Haskell.
In: Haskell Symposium,
doi:10.1145/1411286.1411289.
Nikhil Swamy, Nataliya Guts, Daan Leijen & Michael Hicks (2011):
Lightweight Monadic Programming in ML.
In: ICFP,
doi:10.1145/2034574.2034778.
Ross Tate (2013):
The Sequential Semantics of Producer Effect Systems.
In: POPL,
doi:10.1145/2480359.2429074.
Tarmo Uustalu & Varmo Vene (2008):
Comonadic Notions of Computation.
Electr. Notes Theor. Comput. Sci. 203(5),
doi:10.1016/j.entcs.2008.05.029.
Philip Wadler & Peter Thiemann (2003):
The marriage of effects and monads.
ACM Trans. Comput. Logic 4,
pp. 1–32,
doi:10.1145/601775.601776.