@article{DBLP:journals/corr/abs-1109-4048,
  author    = {Shinji Kono and
               Kento Yogi},
  title     = {Implementing Continuation based language in {GCC}},
  journal   = {CoRR},
  volume    = {abs/1109.4048},
  year      = {2011},
  url       = {http://arxiv.org/abs/1109.4048},
  timestamp = {Mon, 05 Dec 2011 18:05:37 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1109-4048},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@book{Girard:1989:PT:64805,
 author    = {Girard, Jean-Yves and Taylor, Paul and Lafont, Yves},
 title     = {Proofs and Types},
 year      = {1989},
 isbn      = {0-521-37181-3},
 publisher = {Cambridge University Press},
 address   = {New York, NY, USA},
}

@book{opac-b1092711,
   title     = "Introduction to higher order categorical logic",
   author    = "Lambek, Joachim (mathématicien) and Scott, P. J.",
   series    = "Cambridge studies in advanced mathematics",
   publisher = "Cambridge University Press",
   address   = "Cambridge, New York (N. Y.), Melbourne",
   url       = "http://opac.inria.fr/record=b1092711",
   isbn      = "0-521-24665-2",
   year      = 1986
}

@book{BarrM:cattcs,
    author    = {Barr, Michael and Wells, Charles},
    title     = {Category Theory for Computing Science},
    publisher = {Prentice-Hall},
    series    = {International Series in Computer Science},
    year      = 1990,
    note      = {Second edition, 1995},
    isbn      = {0-13-120486-6},
    lccn      = {QA76.9.M35B37 1990}
}

@article{Moggi:1991:NCM:116981.116984,
    author     = {Moggi, Eugenio},
    title      = {Notions of Computation and Monads},
    journal    = {Inf. Comput.},
    issue_date = {July 1991},
    volume     = {93},
    number     = {1},
    month      = jul,
    year       = {1991},
    issn       = {0890-5401},
    pages      = {55--92},
    numpages   = {38},
    url        = {http://dx.doi.org/10.1016/0890-5401(91)90052-4},
    doi        = {10.1016/0890-5401(91)90052-4},
    acmid      = {116984},
    publisher  = {Academic Press, Inc.},
    address    = {Duluth, MN, USA},
}


@techreport{JonesDuponcheel93,
    author      = {M. P. Jones and L. Duponcheel},
    title       = {Composing monads},
    institution = {Yale University},
    year        = {1993},
    month       = {December},
    number      = {YALEU/DCS/RR-1004},
    type        = {Research Report},
    ftp         = {ftp://ftp.cs.nott.ac.uk/nott-fp/reports/yale/RR-1004.ps}
}

@misc{agda,
    title = {The Agda wiki},
    howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
    note = {Accessed: 2015/04/19(Sun)}
}