<gh_stars>1-10
@ARTICLE{CoendCofriend,
   author = {<NAME>},
    title = "{This is the (co)end, my only (co)friend}",
  journal = {ArXiv e-prints},
archivePrefix = "arXiv",
   eprint = {1501.02503},
 primaryClass = "math.CT",
 keywords = {Mathematics - Category Theory, 18A23, 18A40, 18D20},
     year = 2015,
    month = jan,
}

@article{BackpropAsFunctor,
  title={Backprop as Functor: A compositional perspective on supervised learning},
  author={<NAME> and <NAME> and <NAME>},
    journal = {ArXiv e-prints},
archivePrefix = "arXiv",
   eprint = {1711.10455},
  year={2017},
  month=nov
}


@article {SecondOrderFunctionals,
    AUTHOR = {<NAME> and <NAME>},
     TITLE = {A representation theorem for second-order functionals},
   JOURNAL = {J. Funct. Programming},
  FJOURNAL = {Journal of Functional Programming},
    VOLUME = {25},
      YEAR = {2015},
     PAGES = {e13, 36},
      ISSN = {0956-7968},
   MRCLASS = {Preliminary Data},
  MRNUMBER = {3482285},
       DOI = {10.1017/S0956796815000088},
       URL = {http://dx.doi.org/10.1017/S0956796815000088},
}

@article {Doubles,
    AUTHOR = {<NAME> and <NAME>},
     TITLE = {Doubles for monoidal categories},
   JOURNAL = {Theory Appl. Categ.},
  FJOURNAL = {Theory and Applications of Categories},
    VOLUME = {21},
      YEAR = {2008},
     PAGES = {No. 4, 61--75},
      ISSN = {1201-561X},
   MRCLASS = {18D10},
  MRNUMBER = {2425558},
MRREVIEWER = {Aurora del R{\'{\i}}o},
}

@unpublished{OnTheTrace,
  TITLE={On the trace of an endofunctor of a small category},
  AUTHOR={<NAME>},
  YEAR={2008},
  NOTE={Centre de Recerca Matem{\`a}tica}
}

@article {ObjectiveTriangleFunctors,
    AUTHOR = {<NAME> and <NAME>},
     TITLE = {Objective triangle functors},
   JOURNAL = {Sci. China Math.},
  FJOURNAL = {Science China. Mathematics},
    VOLUME = {58},
      YEAR = {2015},
    NUMBER = {2},
     PAGES = {221--232},
      ISSN = {1674-7283},
   MRCLASS = {18A22},
  MRNUMBER = {3301059},
MRREVIEWER = {<NAME>},
       DOI = {10.1007/s11425-014-4954-4},
       URL = {http://dx.doi.org/10.1007/s11425-014-4954-4},
}

@incollection {ReflectionsOnMonadicLenses,
    AUTHOR = {<NAME> and Cheney, James and Gibbons, Jeremy and
              McKinna, James and Stevens, Perdita},
     TITLE = {Reflections on monadic lenses},
 BOOKTITLE = {A list of successes that can change the world},
    SERIES = {Lecture Notes in Comput. Sci.},
    VOLUME = {9600},
     PAGES = {1--31},
 PUBLISHER = {Springer, [Cham]},
      YEAR = {2016},
   MRCLASS = {68N15},
  MRNUMBER = {3516230},
       DOI = {10.1007/978-3-319-30936-1_1},
       URL = {http://dx.doi.org/10.1007/978-3-319-30936-1_1},
}

@incollection {EntangledStateMonads,
    AUTHOR = {<NAME> and Gibbons, Jeremy and
              McKinna, James and <NAME>},
     TITLE = {Notions of bidirectional computation and entangled state
              monads},
 BOOKTITLE = {Mathematics of program construction},
    SERIES = {Lecture Notes in Comput. Sci.},
    VOLUME = {9129},
     PAGES = {187--214},
 PUBLISHER = {Springer, Cham},
      YEAR = {2015},
   MRCLASS = {68P15 (68N18 68Q55)},
  MRNUMBER = {3419984},
       DOI = {10.1007/978-3-319-19797-5_9},
       URL = {http://dx.doi.org/10.1007/978-3-319-19797-5_9},
}

@misc{LGtkAPICorrection,
  author = {P\'{<NAME>\'{a}nszky},
  title = {LGtk API Correction},
  year = 2013,
  month = apr,
  howpublished = {Available from \url{http://people.inf.elte.hu/divip/LGtk/CorrectedAPI.html}}
}

@incollection {AClearPictureOfLensLaws,
    AUTHOR = {<NAME> Hu, Zhenjiang and <NAME>},
     TITLE = {A clear picture of lens laws: functional pearl},
 BOOKTITLE = {Mathematics of program construction},
    SERIES = {Lecture Notes in Comput. Sci.},
    VOLUME = {9129},
     PAGES = {215--223},
 PUBLISHER = {<NAME>},
      YEAR = {2015},
   MRCLASS = {68N17 (68N15)},
  MRNUMBER = {3419985},
       DOI = {10.1007/978-3-319-19797-5_10},
       URL = {http://dx.doi.org/10.1007/978-3-319-19797-5_10},
}

@misc{IsomorphismLensesPost,
  author = {<NAME>},
  title = {Isomorphism lenses},
  year = 2011,
  month = may,
  howpublished = {Available from \url{https://www.twanvl.nl/blog/haskell/isomorphism-lenses}}
}

@misc{VanLaarhovenPost,
  author = {<NAME>},
  title = {CPS based functional references},
  year = 2009,
  month = jul,
  howpublished = {Available from \url{https://www.twanvl.nl/blog/haskell/cps-functional-references}}
}

@misc{FunListPost,
  author = {<NAME>},
  title = {A non-regular data type challenge},
  year = 2009,
  month = apr,
  howpublished = {Available from \url{https://twanvl.nl/blog/haskell/non-regular1}}
}

@misc{AffineTraversalPost,
  author = {<NAME>},
  title = {Affine Traversal},
  year = 2017,
  month = mar,
  howpublished = {Available from \url{http://oleg.fi/gists/posts/2017-03-20-affine-traversal.html}}
}

@misc{AchromaticLensesPost,
  author = {<NAME>},
  title = {Achromatic lens},
  year = 2018,
  month = mar,
  howpublished = {Available from \url{http://oleg.fi/gists/posts/2018-03-28-achromatic-lens.html}}}
}

@misc{IndexedOpticsPost,
  author = {<NAME>},
  title = {Indexed Profunctor optics},
  year = 2017,
  month = apr,
  howpublished = {Available from \url{http://oleg.fi/gists/posts/2017-04-26-indexed-poptics.html}}
}

@MastersThesis{ProfunctorOpticsThesis,
  author = {<NAME>},
  title = {{Understanding Profunctor Optics: a representation theorem}},
  school = {University of Oxford},
  year = {2017},
}
%    address     =     {St Anne's College},

@inproceedings{ConstantComplementApproach,
 author = {<NAME>},
 title = {The Impact of the Constant Complement Approach Towards View Updating},
 booktitle = {Proceedings of the Twenty-second ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems},
 series = {PODS '03},
 year = {2003},
 isbn = {1-58113-670-6},
 location = {San Diego, California},
 pages = {49--55},
 numpages = {7},
 url = {http://doi.acm.org/10.1145/773153.773159},
 doi = {10.1145/773153.773159},
 acmid = {773159},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{UpdateSemanticsOfRelationalViews,
 author = {<NAME>. and <NAME>.},
 title = {Update Semantics of Relational Views},
 journal = {ACM Trans. Database Syst.},
 issue_date = {Dec. 1981},
 volume = {6},
 number = {4},
 month = dec,
 year = {1981},
 issn = {0362-5915},
 pages = {557--575},
 numpages = {19},
 url = {http://doi.acm.org/10.1145/319628.319634},
 doi = {10.1145/319628.319634},
 acmid = {319634},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {conceptual model, data model, data semantics, database view, relation, relational model database, update translation, view updating},
}

@article {AlgebrasAndUpdateStrategies,
    AUTHOR = {<NAME> <NAME> <NAME>},
     TITLE = {Algebras and update strategies},
   JOURNAL = {J.UCS},
  FJOURNAL = {J.UCS. Journal of Universal Computer Science},
    VOLUME = {16},
      YEAR = {2010},
    NUMBER = {5},
     PAGES = {729--748},
      ISSN = {0948-695X},
   MRCLASS = {68P15},
  MRNUMBER = {2653507},
}

@inbook{Kelly1974,
    AUTHOR = {<NAME>.},
     TITLE = {Doctrinal adjunction},
 BOOKTITLE = {Category {S}eminar ({P}roc. {S}em., {S}ydney, 1972/1973)},
     PAGES = {257--280. Lecture Notes in Math., Vol. 420},
 PUBLISHER = {Springer, Berlin},
      YEAR = {1974},
   MRCLASS = {18D99},
  MRNUMBER = {0360749},
MRREVIEWER = {<NAME>},
}

@ARTICLE{CoherenceForLenses,
   author = {{Hedges}, J.},
    title = "{Coherence for lenses and open games}",
  journal = {ArXiv e-prints},
archivePrefix = "arXiv",
   eprint = {1704.02230},
 primaryClass = "math.CT",
 keywords = {Mathematics - Category Theory, Computer Science - Logic in Computer Science},
     year = 2017,
    month = apr,
   adsurl = {http://adsabs.harvard.edu/abs/2017arXiv170402230H},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}

@article {JoyalStreetVerity,
    AUTHOR = {<NAME> and <NAME> <NAME>},
     TITLE = {Traced monoidal categories},
   JOURNAL = {Math. Proc. Cambridge Philos. Soc.},
  FJOURNAL = {Mathematical Proceedings of the Cambridge Philosophical
              Society},
    VOLUME = {119},
      YEAR = {1996},
    NUMBER = {3},
     PAGES = {447--468},
      ISSN = {0305-0041},
   MRCLASS = {18D10 (03B70 19D23 57M25 68Q55)},
  MRNUMBER = {1357057},
MRREVIEWER = {<NAME>},
       URL = {https://doi.org/10.1017/S0305004100074338},
}

@article {NotionsOfComputationAsMonoids,
    AUTHOR = {<NAME> and <NAME>},
     TITLE = {Notions of computation as monoids},
   JOURNAL = {J. Funct. Programming},
  FJOURNAL = {Journal of Functional Programming},
    VOLUME = {27},
      YEAR = {2017},
     PAGES = {e21, 42},
      ISSN = {0956-7968},
   MRCLASS = {68Q55 (18D10)},
  MRNUMBER = {3720787},
       URL = {https://doi.org/10.1017/S0956796817000132},
}

@article {TracesInMonoidalCategoriess,
    AUTHOR = {<NAME> <NAME>},
     TITLE = {Traces in monoidal categories},
   JOURNAL = {Trans. Amer. Math. Soc.},
  FJOURNAL = {Transactions of the American Mathematical Society},
    VOLUME = {364},
      YEAR = {2012},
    NUMBER = {8},
     PAGES = {4425--4464},
      ISSN = {0002-9947},
   MRCLASS = {18D10 (18B30 46A32 57R56)},
  MRNUMBER = {2912459},
MRREVIEWER = {<NAME>},
       URL = {https://doi.org/10.1090/S0002-9947-2012-05615-7},
}

@incollection {DialecticaCategories,
    AUTHOR = {<NAME>, <NAME>.},
     TITLE = {The {D}ialectica categories},
 BOOKTITLE = {{C}ategories in {C}omputer {S}cience and {L}ogic ({B}oulder, {CO}, 1987)},
    SERIES = {Contemp. Math.},
    VOLUME = {92},
     PAGES = {47--62},
 PUBLISHER = {Amer. Math. Soc., Providence, RI},
      YEAR = {1989},
   MRCLASS = {03G30 (03F10 18D15)},
  MRNUMBER = {1003194},
MRREVIEWER = {<NAME>},
       DOI = {10.1090/conm/092/1003194},
       URL = {https://doi.org/10.1090/conm/092/1003194},
}

@article {StrongFunctors,
    AUTHOR = {<NAME>},
     TITLE = {Strong functors and monoidal monads},
   JOURNAL = {Arch. Math. (Basel)},
  FJOURNAL = {Archiv der Mathematik},
    VOLUME = {23},
      YEAR = {1972},
     PAGES = {113--120},
      ISSN = {0003-889X},
   MRCLASS = {18D10},
  MRNUMBER = {0304456},
MRREVIEWER = {<NAME>},
       DOI = {10.1007/BF01304852},
       URL = {https://doi.org/10.1007/BF01304852},
}

@misc{ProfunctorOpticsPost,
  author = {<NAME>},
  title = {Profunctor Optics: The Categorical View},
  year = 2017,
  month = jul,
  howpublished = {Available from \url{https://bartoszmilewski.com/2017/07/07/profunctor-optics-the-categorical-view/}}
}

@article{ProfunctorOptics,
  author    = {<NAME> and
               <NAME> and
               <NAME>},
  title     = {Profunctor Optics: Modular Data Accessors},
  journal   = {Programming Journal},
  volume    = {1},
  number    = {2},
  pages     = {7},
  year      = {2017},
  url       = {https://doi.org/10.22152/programming-journal.org/2017/1/7},
  doi       = {10.22152/programming-journal.org/2017/1/7},
  timestamp = {Wed, 06 Sep 2017 14:38:09 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/programming/PickeringGW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings {FreeApplicativeFunctors,
    AUTHOR = {<NAME> and <NAME>},
     TITLE = {Free applicative functors},
 BOOKTITLE = {Proceedings 5th {W}orkshop on {M}athematically {S}tructured
              {F}unctional {P}rogramming},
    SERIES = {Electron. Proc. Theor. Comput. Sci. (EPTCS)},
    VOLUME = {153},
     PAGES = {2--30},
 PUBLISHER = {EPTCS, [place of publication not identified]},
      YEAR = {2014},
   MRCLASS = {68N18 (18A40)},
  MRNUMBER = {3602168},
}

@incollection{AlgebrasForParameterisedMonads,
    AUTHOR = {<NAME>},
     TITLE = {Algebras for parameterised monads},
 BOOKTITLE = {Algebra and coalgebra in computer science},
    SERIES = {Lecture Notes in Comput. Sci.},
    VOLUME = {5728},
     PAGES = {3--17},
 PUBLISHER = {Springer, Berlin},
      YEAR = {2009},
   MRCLASS = {68Q65 (18C50)},
  MRNUMBER = {2557818},
       DOI = {10.1007/978-3-642-03741-2_2},
       URL = {https://doi.org/10.1007/978-3-642-03741-2_2},
}

@misc{LensLibrary,
  author = {<NAME>},
  note= {{\relax With contributions from:} Shachaf Ben-Kiki, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>\'{e}n, <NAME>, <NAME>, <NAME>, <NAME>, <NAME>, <NAME> and <NAME>},
  title = {\texttt{lens}: Lenses, Folds and Traversals},
  howpublished = {Available from \url{https://hackage.haskell.org/package/lens}}
}


@misc{PurescriptLibrary,
  author = {<NAME>},
  note= {{\relax With contributions from:} <NAME>, <NAME>, <NAME> and others},
  title = {purescript-profunctor-lenses},
  howpublished = {Available from \url{https://github.com/purescript-contrib/purescript-profunctor-lenses}}
}


@InProceedings{CompositionalGameTheory,
  author = 	 {<NAME> and <NAME>},
  title = 	 {Compositional game theory},
  booktitle = {{IEEE} {S}ymposium on {L}ogic in {C}omputer {S}cience},
  note = 	 {(to appear)},
  year = 	 {2018},
  location = 	 {Oxford, UK},
}

@article{CombinatorsForBidirectionalTreeTransformations,
  title={Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem},
  author={Foster, <NAME> and Greenwald, <NAME> and Moore, <NAME> and Pierce, <NAME> and Schmitt, Alan},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={29},
  number={3},
  pages={17},
  year={2007},
  publisher={ACM}
}

@article {PremonoidalCategories,
    AUTHOR = {<NAME> and <NAME>},
     TITLE = {Premonoidal categories and notions of computation},
      NOTE = {Logic, domains, and programming languages (Darmstadt, 1995)},
   JOURNAL = {Math. Structures Comput. Sci.},
  FJOURNAL = {Mathematical Structures in Computer Science. A Journal in the
              Applications of Categorical, Algebraic and Geometric Methods
              in Computer Science},
    VOLUME = {7},
      YEAR = {1997},
    NUMBER = {5},
     PAGES = {453--468},
      ISSN = {0960-1295},
   MRCLASS = {68Q55 (18D10)},
  MRNUMBER = {1486319},
       DOI = {10.1017/S0960129597002375},
       URL = {https://doi.org/10.1017/S0960129597002375},
}
@article {NotionsOfComputationAndMonads,
    AUTHOR = {<NAME>},
     TITLE = {Notions of computation and monads},
      NOTE = {Selections from the 1989 IEEE Symposium on Logic in Computer
              Science},
   JOURNAL = {Inform. and Comput.},
  FJOURNAL = {Information and Computation},
    VOLUME = {93},
      YEAR = {1991},
    NUMBER = {1},
     PAGES = {55--92},
      ISSN = {0890-5401},
   MRCLASS = {03B40 (03B70 18C20 68Q55)},
  MRNUMBER = {1115262},
MRREVIEWER = {<NAME>},
       DOI = {10.1016/0890-5401(91)90052-4},
       URL = {https://doi.org/10.1016/0890-5401(91)90052-4},
}

@Misc{MonadTransformerLensesTalk,
  author =   {<NAME>},
  title =    {{M}onad {T}ransformer {L}enses},
  howpublished = {\url{https://www.youtube.com/watch?v=Bxcz23GOJqc}},
  month = jul,
  day = 25,
  year = 2016
}


@article {MonadTransformersAsMonoidTransformers,
    AUTHOR = {<NAME> <NAME>},
     TITLE = {Monad transformers as monoid transformers},
   JOURNAL = {Theoret. Comput. Sci.},
  FJOURNAL = {Theoretical Computer Science},
    VOLUME = {411},
      YEAR = {2010},
    NUMBER = {51-52},
     PAGES = {4441--4466},
      ISSN = {0304-3975},
   MRCLASS = {68Q55 (18C15)},
  MRNUMBER = {2779316},
MRREVIEWER = {<NAME>},
       DOI = {10.1016/j.tcs.2010.09.011},
       URL = {https://doi.org/10.1016/j.tcs.2010.09.011},
}

@misc{CalculatingMonadTransformersCategoryTheory,
  author = {<NAME>},
  title = {Calculating monad transformers with category theory},
  year = 2012,
  month = feb,
  howpublished = {Available from \url{https://oleksandrmanzyuk.files.wordpress.com/2012/02/calc-mts-with-cat-th1.pdf}}
}


@book {BasicConceptsOfEnrichedCatTheory,
    AUTHOR = {Kelly, <NAME>},
     TITLE = {Basic concepts of enriched category theory},
    SERIES = {London Mathematical Society Lecture Note Series},
    VOLUME = {64},
 PUBLISHER = {Cambridge University Press, Cambridge-New York},
      YEAR = {1982},
     PAGES = {245},
      ISBN = {0-521-28702-2},
   MRCLASS = {18-02 (18D20)},
  MRNUMBER = {651714},
MRREVIEWER = {<NAME>},
}

@inproceedings{AnInvestigationOfTheLawsOfTraversals,
  author    = {<NAME> and <NAME>},
  title     = {An Investigation of the Laws of Traversals},
  booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional Programming},
  pages     = {40--49},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.76.5},
  doi       = {10.4204/EPTCS.76.5},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1202-2919},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{MonotonicLenses,
  title={Lens put-put laws: monotonic and mixed},
  author={<NAME> and <NAME>},
  journal={Electronic Communications of the EASST},
  volume={49},
  year={2012}
}

@article{DeltaLensesAndOpfibrations,
  title={Delta lenses and opfibrations},
  author={<NAME> and <NAME>},
  journal={Electronic Communications of the EASST},
  volume={57},
  year={2013}
}

@incollection {MonadsNeedNotBeEndofunctors,
    AUTHOR = {Altenkirch, <NAME> Chapman, <NAME>},
     TITLE = {Monads need not be endofunctors},
 BOOKTITLE = {Foundations of software science and computational structures},
    SERIES = {Lecture Notes in Comput. Sci.},
    VOLUME = {6014},
     PAGES = {297--311},
 PUBLISHER = {Springer, Berlin},
      YEAR = {2010},
   MRCLASS = {68N18 (18C15)},
  MRNUMBER = {2673183},
       DOI = {10.1007/978-3-642-12032-9_21},
       URL = {https://doi.org/10.1007/978-3-642-12032-9_21},
}

@article {LensesFibrationsAndUniversalTranslations,
    AUTHOR = {<NAME> Rosebrugh, <NAME> <NAME>.},
     TITLE = {Lenses, fibrations and universal translations},
   JOURNAL = {Math. Structures Comput. Sci.},
  FJOURNAL = {Mathematical Structures in Computer Science. A Journal in the
              Applications of Categorical, Algebraic and Geometric Methods
              in Computer Science},
    VOLUME = {22},
      YEAR = {2012},
    NUMBER = {1},
     PAGES = {25--42},
      ISSN = {0960-1295},
   MRCLASS = {68P15 (18C50)},
  MRNUMBER = {2863743},
       DOI = {10.1017/S0960129511000442},
       URL = {https://doi.org/10.1017/S0960129511000442},
}

@article{RelatingAlgebraicAndCoalgebraic,
  title={Relating algebraic and coalgebraic descriptions of lenses},
  author={<NAME> and <NAME>},
  journal={Electronic Communications of the EASST},
  volume={49},
  year={2012}
}


@article{ANoteOnActions,
    AUTHOR = {<NAME>. and <NAME>.},
     TITLE = {A note on actions of a monoidal category},
      NOTE = {CT2000 Conference (Como)},
   JOURNAL = {Theory Appl. Categ.},
  FJOURNAL = {Theory and Applications of Categories},
    VOLUME = {9},
      YEAR = {2001/02},
     PAGES = {61--91},
      ISSN = {1201-561X},
   MRCLASS = {18D10},
  MRNUMBER = {1897810},
MRREVIEWER = {<NAME>},
}

@misc{GratesPost,
  author = {<NAME>},
  title = {Grate: A new kind of Optic},
  year = 2015,
  month = nov,
  howpublished = {Available from \url{https://r6research.livejournal.com/28050.html}}
}

@book{CFTWM,
    AUTHOR = {<NAME>},
     TITLE = {Categories for the working mathematician},
    SERIES = {Graduate Texts in Mathematics},
    VOLUME = {5},
   EDITION = {Second},
 PUBLISHER = {Springer-Verlag, New York},
      YEAR = {1998},
     PAGES = {xii+314},
      ISBN = {0-387-98403-8},
   MRCLASS = {18-02},
  MRNUMBER = {1712872},
}

@incollection{CategoricalQuantumMechanics,
    AUTHOR = {<NAME> and Coecke, Bob},
     TITLE = {Categorical quantum mechanics},
 BOOKTITLE = {Handbook of quantum logic and quantum structures---quantum
              logic},
     PAGES = {261--323},
 PUBLISHER = {Elsevier/North-Holland, Amsterdam},
      YEAR = {2009},
   MRCLASS = {81P10 (18B99 18D10 81P45)},
  MRNUMBER = {2724650},
MRREVIEWER = {<NAME>},
       DOI = {10.1016/B978-0-444-52869-8.50010-4},
       URL = {https://doi.org/10.1016/B978-0-444-52869-8.50010-4},
}

@article{YouNeeda,
 author = {Boisseau, <NAME> <NAME>},
 title = {What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl)},
 journal = {Proc. ACM Program. Lang.},
 issue_date = {September 2018},
 volume = {2},
 number = {ICFP},
 month = jul,
 year = {2018},
 issn = {2475-1421},
 pages = {84:1--84:27},
 articleno = {84},
 numpages = {27},
 url = {http://doi.acm.org/10.1145/3236779},
 doi = {10.1145/3236779},
 acmid = {3236779},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Lens, Yoneda Lemma, composable references, optic, prism, profunctors},
} 