@article(indexedmonad1,
 author       = "Robert Atkey",
 year         = "2009",
 title        = "Parameterized Notions of Computation",
 journal      = "Journal of Functional Programming",
 volume       = "19",
 number       = "3-4",
 pages        = "335--376",
 doi          = "10.1017/S095679680900728X",
)
@incollection(poplmark,
 author       = "Brian E. Aydemir and Aaron Bohannon and Matthew Fairbairn and J. Nathan Foster and Benjamin C. Pierce and Peter Sewell and Dimitrios Vytiniotis and Geoffrey Washburn and Stephanie Weirich and Steve Zdancewic",
 year         = "2005",
 title        = "{M}echanized {M}etatheory for the {M}asses: {T}he {\sc {P}opl{M}ark} {C}hallenge",
 booktitle    = "Theorem Proving in Higher Order Logics",
 series       = "Lecture Notes in Computer Science",
 volume       = "3603",
 publisher    = "Springer-Verlag",
 pages        = "50--65",
 doi          = "10.1007/11541868\_4",
)
@inproceedings(haskelldb,
 author       = "Bj\"{o}rn Bringert and Anders H\"{o}ckersten and Conny Andersson and Martin Andersson and Mary Bergman and Victor Blomqvist and Torbj\"{o}rn Martin",
 year         = "2004",
 title        = "Student paper: HaskellDB improved",
 booktitle    = "Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell",
 publisher    = "ACM",
 pages        = "108--115",
 doi          = "10.1145/1017472.1017473",
)
@inproceedings(coppo07asynchronous,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida",
 year         = "2007",
 title        = "{Asynchronous Session Types and Progress for Object Oriented Languages}",
 booktitle    = "Formal Methods for Open Object-Based Distributed Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "4468",
 publisher    = "Springer-Verlag",
 pages        = "1--31",
 doi          = "10.1007/978-3-540-72952-5\_1",
)
@inproceedings(giunti09session,
 author       = "Marco Giunti and Kohei Honda and Vasco T. Vasconcelos and Nobuko Yoshida",
 year         = "2009",
 title        = "{S}ession-{B}ased {T}ype {D}iscipline for {P}i {C}alculus with {M}atching",
 booktitle    = "In the preproceedings of PLACES '09: Programming Language Approaches to Concurrency and Communication-cEntric Software",
 note         = "Available at \url {http://places09.di.fc.ul.pt/}",
)
@inproceedings(honda_98_language,
 author       = "Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "{Language Primitives and Type Discipline for Structured Communication-Based Programming}",
 booktitle    = "ESOP '98: Proceedings of the 7th European Symposium on Programming",
 series       = "Lecture Notes in Computer Science",
 volume       = "1381",
 publisher    = "Springer-Verlag",
 pages        = "122--138",
 doi          = "10.1007/BFb0053567",
)
@article(honda08multiparty,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "{Multiparty Asynchronous Session Types}",
 journal      = "SIGPLAN Notices",
 volume       = "43",
 number       = "1",
 pages        = "273--284",
 doi          = "10.1145/1328438.1328472",
)
@inproceedings(fundeps,
 author       = "Mark P. Jones",
 year         = "2000",
 title        = "{Type Classes with Functional Dependencies}",
 booktitle    = "ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems",
 publisher    = "Springer-Verlag",
 pages        = "230--244",
 doi          = "10.1007/3-540-46425-5\_15",
)
@misc(indexedmonad2,
 author       = "Oleg Kiselyov",
 year         = "2006",
 title        = "Simple variable-state monad",
 url          = "http://www.haskell.org/pipermail/haskell/2006-December/018917.html",
 note         = "Mailing list message.",
)
@inproceedings(hlist,
 author       = "Oleg Kiselyov and Ralf L{\"a}mmel and Keean Schupke",
 year         = "2004",
 title        = "{{Strongly Typed Heterogeneous Collections}}",
 booktitle    = "{Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell}",
 publisher    = "ACM Press",
 pages        = "96--107",
 doi          = "10.1145/1017472.1017488",
)
@inproceedings(kiselyov08lightweight,
 author       = "Oleg Kiselyov and Chung C. Shan",
 year         = "2008",
 title        = "Lightweight monadic regions",
 booktitle    = "Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell",
 publisher    = "ACM",
 pages        = "1--12",
 doi          = "10.1145/1411286.1411288",
)
@techreport(parsec,
 author       = "Daan Leijen and Erik Meijer",
 year         = "2001",
 title        = "{Parsec: Direct Style Monadic Parser Combinators for the Real World}",
 type         = "Technical Report",
 institution  = "Departement of Computer Science, Universiteit Utrecht",
 url          = "http://www.cs.uu.nl/~daan/parsec.html",
)
@inproceedings(neubauer_04_implementation,
 author       = "Matthias Neubauer and Peter Thiemann",
 year         = "2004",
 title        = "{An Implementation of Session Types}",
 booktitle    = "PADL'04 : Practical Aspects of Declarative Languages",
 series       = "Lecture Notes in Computer Science",
 volume       = "3057",
 publisher    = "Springer-Verlag",
 pages        = "56--70",
 doi          = "10.1007/978-3-540-24836-1\_5",
)
@inproceedings(hoas,
 author       = "Frank Pfenning and Conal Elliot",
 year         = "1988",
 title        = "{H}igher-{O}rder {A}bstract {S}yntax",
 booktitle    = "PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language Design and Implementation",
 publisher    = "ACM Press",
 pages        = "199--208",
 doi          = "10.1145/53990.54010",
)
@book(TAPL,
 author       = "Benjamin C. Pierce",
 year         = "2002",
 title        = "{Types and Programming Languages}",
 publisher    = "MIT Press",
)
@inproceedings(pucella08session,
 author       = "Riccardo Pucella and Jesse A. Tov",
 year         = "2008",
 title        = "Haskell {S}ession {T}ypes with ({A}lmost) {N}o {C}lass",
 booktitle    = "Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell",
 publisher    = "ACM Press",
 pages        = "25--36",
 doi          = "10.1145/1411286.1411290",
)
@techreport(sackman08session,
 author       = "Matthew Sackman and Susan Eisenbach",
 year         = "2008",
 title        = "{Session Types in Haskell: Updating Message Passing for the 21st Century}",
 type         = "Technical Report",
 institution  = "Imperial College London",
 url          = "http://pubs.doc.ic.ac.uk/session-types-in-haskell/",
)