@inproceedings(induction-with-effects,
 author       = "Robert Atkey and Neil Ghani and Bart Jacobs and Patricia Johann",
 year         = "2012",
 title        = "Fibrational Induction Meets Effects",
 editor       = "Lars Birkedal",
 booktitle    = "Foundations of Software Science and Computational Structures",
 series       = "Lecture Notes in Computer Science",
 volume       = "7213",
 publisher    = "Springer",
 pages        = "42--57",
 note         = "To Appear",
)
@inproceedings(Butterfield:2001:PCP:647980.743391,
 author       = "Andrew Butterfield and Glenn Strong",
 year         = "2002",
 title        = "Proving Correctness of Programs with {I/O} - A Paradigm Comparison",
 booktitle    = "Selected Papers from the 13th International Workshop on Implementation of Functional Languages",
 series       = "IFL '02",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "72--87",
 doi          = "10.1007/3-540-46028-4\_5",
)
@article(capretta:2005,
 author       = "Venanzio Capretta",
 year         = "2005",
 title        = "General Recursion via Coinductive Types",
 journal      = "Logical Methods in Computer Science",
 volume       = "1",
 number       = "2",
 pages        = "1--18",
 doi          = "10.2168/LMCS-1(2:1)2005",
)
@inproceedings(Cenciarelli93asyntactic,
 author       = "Pietro Cenciarelli and Eugenio Moggi",
 year         = "1993",
 title        = "A Syntactic Approach to Modularity in Denotational Semantics",
 booktitle    = "Proceedings of the 5th Biennial Meeting on Category Theory and Computer Science",
 series       = "CTCS '93",
 publisher    = "CWI Technical Report",
 address      = "Amsterdam, The Netherlands",
)
@article(Claessen:1999:PMC:968592.968596,
 author       = "Koen Claessen",
 year         = "1999",
 title        = "A poor man's concurrency monad",
 journal      = "Journal of Functional Programming",
 volume       = "9",
 pages        = "313--323",
 doi          = "10.1017/S0956796899003342",
)
@inproceedings(Dowse:2002:PMC:1756972.1756977,
 author       = "Malcolm Dowse and Glenn Strong and Andrew Butterfield",
 year         = "2003",
 title        = "Proving make correct: {I/O} proofs in {H}askell and {C}lean",
 booktitle    = "Proceedings of the 14th International Conference on Implementation of Functional Languages",
 series       = "IFL'02",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "68--83",
 doi          = "10.1007/3-540-44854-3\_5",
)
@inproceedings(Filinski:2007:IRE:1291151.1291168,
 author       = "Andrzej Filinski and Kristian St{\o }vring",
 year         = "2007",
 title        = "Inductive reasoning about effectful data types",
 booktitle    = "Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming",
 series       = "ICFP '07",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "97--110",
 doi          = "10.1145/1291151.1291168",
)
@inproceedings(Ganz:1999:TS:317636.317779,
 author       = "Steven E. Ganz and Daniel P. Friedman and Mitchell Wand",
 year         = "1999",
 title        = "Trampolined style",
 booktitle    = "Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming",
 series       = "ICFP '99",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "18--27",
 doi          = "10.1145/317636.317779",
)
@unpublished(citeulike:276362,
 author       = "William L. Harrison",
 title        = "{Cheap (But Functional) Threads}",
 url          = "http://www.cs.missouri.edu/\~harrison/drafts/CheapThreads.pdf",
)
@inproceedings(conf/other/Harrison06,
 author       = "William L. Harrison",
 year         = "2006",
 title        = "The Essence of Multitasking",
 booktitle    = "1st International Conference on Algebraic Methodology and Software Technology (AMAST06)",
 series       = "LNCS",
 volume       = "4019",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/11784180\_14",
)
@inproceedings(DBLP:conf/mfcs/HennessyP79,
 author       = "Matthew Hennessy and Gordon Plotkin",
 year         = "1979",
 title        = "Full Abstraction for a Simple Parallel Programming Language",
 editor       = "Jir\'{\i } Becv{\'a}r",
 booktitle    = "MFCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "74",
 publisher    = "Springer",
 pages        = "108--120",
 doi          = "10.1007/3-540-09526-8\_8",
)
@inproceedings(Hinze:2000:DBM:351240.351258,
 author       = "Ralf Hinze",
 year         = "2000",
 title        = "Deriving backtracking monad transformers",
 booktitle    = "Proceedings of the fifth ACM SIGPLAN International Conference on Functional Programming",
 series       = "ICFP '00",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "186--197",
 doi          = "10.1145/351240.351258",
)
@article(Hyland:2006:CES:1161493.1161499,
 author       = "Martin Hyland and Gordon Plotkin and John Power",
 year         = "2006",
 title        = "Combining effects: sum and tensor",
 journal      = "Theoretical Computer Science",
 volume       = "357",
 pages        = "70--99",
 doi          = "10.1016/j.tcs.2006.03.013",
)
@techreport(Jones93composingmonads,
 author       = "Mark P. Jones and Luc Duponcheel",
 year         = "1993",
 title        = "Composing Monads",
 type         = "Technical Report",
 institution  = "Yale University",
)
@inproceedings(KY76,
 author       = "Donald Knuth and Andrew Yao",
 year         = "1976",
 title        = "The Complexity of Nonuniform Random Number Generation",
 editor       = "J. F. Traub",
 booktitle    = "Algorithms and Complexity: New Directions and Recent Results",
 publisher    = "Academic Press",
 note         = "Also in \textsl {Selected Papers on the Analysis of Algorithms}",
)
@inproceedings(Liang:1995:MTM:199448.199528,
 author       = "Sheng Liang and Paul Hudak and Mark Jones",
 year         = "1995",
 title        = "Monad transformers and modular interpreters",
 booktitle    = "Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
 series       = "POPL '95",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "333--343",
 doi          = "10.1145/199448.199528",
)
@inproceedings(Lin:2006:PMO:1159803.1159840,
 author       = "Chuan-kai Lin",
 year         = "2006",
 title        = "Programming monads operationally with Unimo",
 booktitle    = "Proceedings of the eleventh ACM SIGPLAN International Conference on Functional Programming",
 series       = "ICFP '06",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "274--285",
 doi          = "10.1145/1159803.1159840",
)
@inproceedings(McCarthy63:Basis,
 author       = "John McCarthy",
 year         = "1963",
 title        = "A Basis for a Mathematical Theory of Computation",
 editor       = "P. Braffort and D. Hirschberg",
 booktitle    = "Computer Programming and Formal Systems",
 publisher    = "North-Holland",
 address      = "Amsterdam",
 pages        = "33--70",
 doi          = "10.1016/S0049-237X(08)72018-4",
)
@article(Moggi:1991:NCM:116981.116984,
 author       = "Eugenio Moggi",
 year         = "1991",
 title        = "Notions of computation and monads",
 journal      = "Information and Computation",
 volume       = "93",
 pages        = "55--92",
 doi          = "10.1016/0890-5401(91)90052-4",
)
@inproceedings(citeulike:155438,
 author       = "Nikolaos S. Papaspyrou",
 year         = "2001",
 title        = "{A Resumption Monad Transformer and its Applications in the Semantics of Concurrency}",
 booktitle    = "Proceedings of the 3rd Panhellenic Logic Symposium",
 address      = "Anogia, Crete",
)
@inproceedings(PeytonJones:1993:IFP:158511.158524,
 author       = "Simon L. Peyton Jones and Philip Wadler",
 year         = "1993",
 title        = "Imperative functional programming",
 booktitle    = "Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
 series       = "POPL '93",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "71--84",
 doi          = "10.1145/158511.158524",
)
@phdthesis(swierstra:thesis,
 author       = "Wouter Swierstra",
 year         = "2008",
 title        = "A Functional Specification of Effects",
 school       = "University of Nottingham",
)
@inproceedings(Swierstra:2007:BB:1291201.1291206,
 author       = "Wouter Swierstra and Thorsten Altenkirch",
 year         = "2007",
 title        = "Beauty in the beast",
 booktitle    = "Proceedings of the ACM SIGPLAN Workshop on Haskell",
 series       = "Haskell '07",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "25--36",
 doi          = "10.1145/1291201.1291206",
)