@inbook{Orchard2013,
    Address = {Berlin, Heidelberg},
    Author = {Orchard, Dominic and Mycroft, Alan},
    BookTitle = {Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers},
    Editor = {Hinze, Ralf},
    File = {codo-notation-orchard-ifl12 (0) - a - a - a.pdf},
    ISBN = {978-3-642-41582-1},
    Keywords = {comonads},
    Pages = {1--17},
    Publisher = {Springer Berlin Heidelberg},
    Title = {A Notation for Comonads},
    URL = {http://dx.doi.org/10.1007/978-3-642-41582-1\_1},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-41582-1\_1},
    date-added = {2017-03-17 11:21:59 +0000},
    date-modified = {2017-03-17 11:23:11 +0000},
    doi = {10.1007/978-3-642-41582-1_1}
}

@inbook{Orchard2013, Address = {Berlin, Heidelberg}, Author = {Orchard, Dominic and Mycroft, Alan}, BookTitle = {Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers}, Editor = {Hinze, Ralf}, File = {codo-notation-orchard-ifl12 (0) - a - a - a.pdf}, ISBN = {978-3-642-41582-1}, Keywords = {comonads}, Pages = {1--17}, Publisher = {Springer Berlin Heidelberg}, Title = {A Notation for Comonads}, URL = {http://dx.doi.org/10.1007/978-3-642-41582-1_1}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-41582-1_1}, date-added = {2017-03-17 11:21:59 +0000}, date-modified = {2017-03-17 11:23:11 +0000}, doi = {10.1007/978-3-642-41582-1_1} }