@conference(abadi1999dcc,
 author       = "M. Abadi and A. Banerjee and N. Heintze and J.G. Riecke",
 year         = "1999",
 title        = "{A core calculus of dependency}",
 booktitle    = "POPL",
 doi          = "10.1145/292540.292555",
)
@inproceedings(Altenkirch10relative,
 author       = "Thorsten Altenkirch and James Chapman and Tarmo Uustalu",
 year         = "2010",
 title        = "Monads need not be endofunctors",
 booktitle    = "FOSSACS",
 doi          = "10.1007/978-3-642-12032-9\_21",
)
@article(atkey09,
 author       = "Robert Atkey",
 year         = "2009",
 title        = "Parameterised notions of computation",
 journal      = "Journal of Functional Programming",
 volume       = "19",
 number       = "3 \& 4",
 pages        = "335--376",
 doi          = "10.1017/S095679680900728X",
)
@inproceedings(cooper06father,
 author       = "Greg Cooper and Shriram Krishnamurthi",
 year         = "2006",
 title        = "Embedding dynamic dataflow in a call-by-value language",
 booktitle    = "ESOP",
 doi          = "10.1007/11693024\_20",
)
@article(crary2005monadic,
 author       = "K. Crary and A. Kliger and F. Pfenning",
 year         = "2005",
 title        = "{A monadic analysis of information flow security with mutable state}",
 journal      = "J. Funct. Program.",
 volume       = "15",
 number       = "02",
 pages        = "249--291",
 doi          = "10.1017/S0956796804005441",
)
@conference(devriese2011information,
 author       = "D. Devriese and F. Piessens",
 year         = "2011",
 title        = "{Information flow enforcement in monadic libraries}",
 booktitle    = "TLDI",
 doi          = "10.1145/1929553.1929564",
)
@inproceedings(elliot97functional,
 author       = "Conal Elliott and Paul Hudak",
 year         = "1997",
 title        = "Functional reactive animation",
 booktitle    = "ICFP",
 doi          = "10.1145/258948.258973",
)
@inproceedings(filinski1999representing,
 author       = "A. Filinski",
 year         = "1999",
 title        = "Representing layered monads",
 booktitle    = "POPL",
 doi          = "10.1145/292540.292557",
)
@inproceedings(filinski94representing,
 author       = "Andrzej Filinski",
 year         = "1994",
 title        = "Representing monads",
 booktitle    = "POPL",
 doi          = "10.1145/174675.178047",
)
@misc(filliatre99atheory,
 author       = "Jean-Christophe Filli{\^a}tre",
 year         = "1999",
 title        = "A Theory of Monads Parameterized By Effects",
)
@conference(goguen1982security,
 author       = "J.A. Goguen and J. Meseguer",
 year         = "1982",
 title        = "{Security policy and security models}",
 booktitle    = "Symposium on Security and Privacy",
)
@article(Hughes00arrows,
 author       = "John Hughes",
 year         = "2000",
 title        = "Generalising monads to arrows",
 journal      = "Sci. Comput. Program.",
 volume       = "37",
 number       = "1-3",
 doi          = "10.1016/S0167-6423(99)00023-4",
)
@article(hutton98monadic,
 author       = "Graham Hutton and Erik Meijer",
 year         = "1998",
 title        = "{Monadic Parsing in Haskell}",
 journal      = "J. Funct. Program.",
 volume       = "8",
 number       = "4",
 pages        = "437--444",
 doi          = "10.1017/S0956796898003050",
)
@conference(jones1992theory,
 author       = "Mark P. Jones",
 year         = "1992",
 title        = "{A theory of qualified types}",
 booktitle    = "ESOP",
 doi          = "10.1007/3-540-55253-7\_17",
)
@techreport(jones93coherencefor,
 author       = "Mark P. Jones",
 year         = "1993",
 title        = "Coherence for Qualified Types",
 type         = "Technical Report",
 number       = "YALEU/DCS/RR-989",
 institution  = "Yale University",
)
@techreport(jones1994improvement,
 author       = "Mark P. Jones",
 year         = "1994",
 title        = "{Simplifying and Improving Qualified Types}",
 type         = "Technical Report",
 number       = "YALEU/DCS/RR-1040",
 institution  = "Yale University",
)
@inproceedings(kiselyov2008lightweight,
 author       = "O. Kiselyov and C. Shan",
 year         = "2008",
 title        = "Lightweight monadic regions",
 booktitle    = "Haskell Symposium",
 doi          = "10.1145/1411286.1411288",
)
@misc(kmett,
 author       = "Edward Kmett",
 year         = "2012",
 title        = "\texttt {Control.Monad.Parameterized} package",
 howpublished = "On \texttt {Hackage} repository",
)
@conference(li2006encoding,
 author       = "P. Li and S. Zdancewic",
 year         = "2006",
 title        = "{Encoding information flow in Haskell}",
 booktitle    = "CSFW",
 doi          = "10.1109/CSFW.2006.13",
)
@inproceedings(moggi89computational,
 author       = "E. Moggi",
 year         = "1989",
 title        = "Computational Lambda-calculus and Monads",
 booktitle    = "Proceedings of the Fourth Annual Symposium on Logic in Computer Science",
 publisher    = "IEEE Press",
 pages        = "14--23",
 doi          = "10.1109/lics.1989.39155",
)
@inproceedings(neamtiu08context,
 author       = "Iulian Neamtiu and Michael Hicks and Jeffrey S. Foster and Polyvios Pratikakis",
 year         = "2008",
 title        = "Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming",
 booktitle    = "POPL",
 doi          = "10.1145/1328438.1328447",
)
@article(plotkin01semantic,
 author       = "Gordon D. Plotkin and John Power",
 year         = "2001",
 title        = "Semantics for Algebraic Operations",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "45",
 doi          = "10.1016/S1571-0661(04)80970-8",
)
@inproceedings(pucella2008haskell,
 author       = "R. Pucella and J.A. Tov",
 year         = "2008",
 title        = "Haskell session types with (almost) no class",
 booktitle    = "Haskell Symposium",
 doi          = "10.1145/1411286.1411290",
)
@inproceedings(ramsey02stochastic,
 author       = "Norman Ramsey and Avi Pfeffer",
 year         = "2002",
 title        = "Stochastic lambda calculus and monads of probability distributions",
 booktitle    = "POPL",
 doi          = "10.1145/565816.503288",
)
@inproceedings(russo08lightweight,
 author       = "Alejandro Russo and Koen Claessen and John Hughes",
 year         = "2008",
 title        = "A library for lightweight information-flow security in {Haskell}",
 booktitle    = "Haskell Symposium",
 doi          = "10.1145/1411286.1411289",
)
@inproceedings(swamy11monadICFP,
 author       = "Nikhil Swamy and Nataliya Guts and Daan Leijen and Michael Hicks",
 year         = "2011",
 title        = "Lightweight Monadic Programming in {ML}",
 booktitle    = "ICFP",
 doi          = "10.1145/2034574.2034778",
)
@inproceedings(tate12productors,
 author       = "Ross Tate",
 year         = "2013",
 title        = "The Sequential Semantics of Producer Effect Systems",
 booktitle    = "POPL",
 doi          = "10.1145/2480359.2429074",
)
@article(Uustalu08comonad,
 author       = "Tarmo Uustalu and Varmo Vene",
 year         = "2008",
 title        = "Comonadic Notions of Computation",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "203",
 number       = "5",
 doi          = "10.1016/j.entcs.2008.05.029",
)
@article(wadler:2003,
 author       = "Philip Wadler and Peter Thiemann",
 year         = "2003",
 title        = "The marriage of effects and monads",
 journal      = "ACM Trans. Comput. Logic",
 volume       = "4",
 pages        = "1--32",
 doi          = "10.1145/601775.601776",
)