@article(formalism-callbyneed-calculus,
 author       = "Zena M. Ariola and Matthias Felleisen",
 year         = "1997",
 title        = "The {C}all-{B}y-{N}eed {L}ambda {C}alculus",
 journal      = "Journal of Functional Programming",
 volume       = "7",
 pages        = "265--301",
 doi          = "10.1017/S0956796897002724",
)
@inproceedings(parallel-cbn-semantics,
 author       = "Clem Baker-Finch and David J. King and Phil Trinder",
 year         = "2000",
 title        = "An {O}perational {S}emantics for {P}arallel {L}azy {E}valuation",
 booktitle    = "Proceedings of ICFP 2000",
 doi          = "10.1145/351240.351256",
)
@unpublished(types-constraints-kinds,
 author       = "Max Bolingbroke",
 year         = "2011",
 title        = "Constraint Kinds for GHC (Unpublished manuscript)",
 url          = "http://blog.omega-prime.co.uk/?p=127",
)
@inproceedings(monad-pure-nondeterministic-translating,
 author       = "B. Bra{\ss }el and S. Fischer and M. Hanus and F. Reck",
 year         = "2011",
 title        = "Transforming Functional Logic Programs into Monadic Functional Programs",
 booktitle    = "Proceedings of WFLP 2010",
 publisher    = "LNCS 6559",
 pages        = "30--47",
 doi          = "10.1.1.157.4578",
)
@inproceedings(comonads-computational,
 author       = "Stephen Brookes and Shai Geva",
 year         = "1992",
 title        = "{Computational Comonads and Intensional Semantics}",
 booktitle    = "Applications of Categories in Computer Science: Proceedings of the LMS Symposium",
 volume       = "177",
 pages        = "1--44",
 doi          = "10.1.1.45.4952",
)
@article(monad-pure-nondeterministic,
 author       = "Sebastian Fischer and Oleg Kiselyov and Chung-chieh Shan",
 year         = "2011",
 title        = "{Purely Functional Lazy Non-Deterministic Programming}",
 journal      = "Journal of Functional Programming",
 volume       = "21",
 number       = "4--5",
 pages        = "413--465",
 doi          = "10.1145/1631687.1596556",
)
@article(arrows-generalising-monads,
 author       = "John Hughes",
 year         = "1998",
 title        = "Generalising Monads to Arrows",
 journal      = "Science of Computer Programming",
 volume       = "37",
 pages        = "67--111",
 doi          = "10.1016/S0167-6423(99)00023-4",
)
@unpublished(comonads-codata-haskell,
 author       = "Richard B. Kieburtz",
 year         = "1999",
 title        = "Codata and Comonads in Haskell (Unpublished manuscript)",
)
@inproceedings(formalism-lazy-semantics,
 author       = "John Launchbury",
 year         = "1993",
 title        = "{A Natural Semantics for Lazy Evaluation}",
 booktitle    = "Proceedings of POPL 1993",
 pages        = "144--154",
 doi          = "10.1145/158511.158618",
)
@inproceedings(monad-orc,
 author       = "John Launchbury and Trevor Elliott",
 year         = "2010",
 title        = "Concurrent orchestration in Haskell",
 booktitle    = "Proceedings of Haskell Symposium",
 series       = "Haskell 2010",
 pages        = "79--90",
 doi          = "10.1145/1863523.1863534",
)
@inproceedings(monad-state-haskell,
 author       = "John Launchbury and Simon Peyton Jones",
 year         = "1995",
 title        = "State in Haskell",
 booktitle    = "Proceedings of the LISP and Symbolic Computation Conference",
 series       = "LISP 1995",
 doi          = "10.1007/BF01018827",
)
@book(formalism-cbpv,
 author       = "Paul Blain Levy",
 year         = "2004",
 title        = "Call-By-Push-Value",
 publisher    = "Springer",
 note         = "ISBN: 978-1-4020-1730-8",
)
@inproceedings(monad-transformer-interpreters,
 author       = "Sheng Liang and Paul Hudak and Mark Jones",
 year         = "1995",
 title        = "{Monad Transformers and Modular Interpreters}",
 booktitle    = "Proceedings of POPL 1995",
 doi          = "10.1145/199448.199528",
)
@inproceedings(monad-parallel-det,
 author       = "Simon Marlow and Ryan Newton and Simon Peyton Jones",
 year         = "2011",
 title        = "{A Monad for Deterministic Parallelism}",
 booktitle    = "Proceedings of the 4th Symposium on Haskell",
 series       = "Haskell 2011",
 doi          = "10.1145/2034675.2034685",
)
@article(applicative-programming,
 author       = "Conor Mc{B}ride and Ross Paterson",
 year         = "2008",
 title        = "{Applicative Programming with Effects}",
 journal      = "Journal of Functional Programming",
 volume       = "18",
 pages        = "1--13",
 doi          = "10.1017/S0956796807006326",
)
@article(monads-moggi,
 author       = "Eugenio Moggi",
 year         = "1991",
 title        = "{Notions of Computation and Monads}",
 journal      = "Inf. Comput.",
 volume       = "93",
 pages        = "55--92",
 doi          = "10.1016/0890-5401(91)90052-4",
)
@inproceedings(comonads-ypnos,
 author       = "Dominic Orchard and Max Bolingbroke and Alan Mycroft",
 year         = "2010",
 title        = "Ypnos: {D}eclarative, {P}arallel {S}tructured {G}rid {P}rogramming",
 booktitle    = "Proceedings of DAMP 2010",
 pages        = "15--24",
 doi          = "10.1145/1708046.1708053",
)
@inproceedings(types-constraints-unleashed,
 author       = "Dominic A. Orchard and Tom Schrijvers",
 year         = "2010",
 title        = "Haskell Type Constraints Unleashed",
 booktitle    = "Proceedings of FLOPS 2010",
 pages        = "56--71",
 doi          = "10.1007/978-3-642-12251-4\_6",
)
@inproceedings(joinads-haskell11,
 author       = "Tomas Petricek and Alan Mycroft and Don Syme",
 title        = "Extending {M}onads with {P}attern {M}atching",
 booktitle    = "Proceedings of Haskell Symposium",
 series       = "Haskell 2011",
 doi          = "10.1145/2096148.2034677",
)
@inproceedings(joinads,
 author       = "Tomas Petricek and Don Syme",
 year         = "2011",
 title        = "Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming",
 booktitle    = "Proceedings of PADL 2011",
 doi          = "10.1007/978-3-642-18378-2\_17",
)
@inproceedings(formalism-lazy-sharing-semantics,
 author       = "S. Purushothaman and Jill Seaman",
 year         = "1992",
 title        = "An Adequate Operational Semantics for Sharing in Lazy Evaluation",
 booktitle    = "Proceedings of the 4th European Symposium on Programming",
 doi          = "10.1007/3-540-55253-7\_26",
)
@(monad-sttrans-package,
 author       = "Josef Svenningsson",
 year         = "2011",
 title        = "The STMonadTrans package",
 url          = "http://hackage.haskell.org/package/STMonadTrans-0.3.1",
)
@article(comonads-dataflow-essence,
 author       = "Tarmo Uustalu and Varmo Vene",
 year         = "2006",
 title        = "The {E}ssence of {D}ataflow {P}rogramming",
 journal      = "Lecture Notes in Computer Science",
 volume       = "4164",
 pages        = "135--167",
 doi          = "10.1007/11894100\_5",
)
@article(comonads-notions,
 author       = "Tarmo Uustalu and Varmo Vene",
 year         = "2008",
 title        = "Comonadic Notions of Computation",
 journal      = "Electron. Notes Theor. Comput. Sci.",
 volume       = "203",
 pages        = "263--284",
 doi          = "10.1016/j.entcs.2008.05.029",
)
@inproceedings(types-free-theorems-classes,
 author       = "Janis Voigtl\"{a}nder",
 year         = "2009",
 title        = "{Free Theorems Involving Type Constructor Classes: Functional Pearl}",
 booktitle    = "Proceedings of ICFP 2009",
 series       = "ICFP 209",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "173--184",
 doi          = "10.1145/1596550.1596577",
)
@inproceedings(monads-wadler,
 author       = "Philip Wadler",
 year         = "1990",
 title        = "Comprehending Monads",
 booktitle    = "Proceedings of Conference on LISP and Functional Programming",
 series       = "LFP 1990",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "61--78",
 doi          = "10.1145/91556.91592",
)
@inproceedings(formalism-cbn-dual-cbv,
 author       = "Philip Wadler",
 year         = "2003",
 title        = "{Call-By-Value Is Dual to Call-By-Name}",
 booktitle    = "Proceedings of ICFP",
 series       = "ICFP 2003",
 pages        = "189--201",
 doi          = "10.1145/944705.944723",
)