10. References

BibTeX metadata

Click here to view the BibTeX entries of the works cited.
@article{Hughes:1986,
      YEAR = {1986},
    AUTHOR = {Hughes, R. John Muir},
     TITLE = {A novel representation of lists and its application to the function “reverse”},
   JOURNAL = {Information Processing Letters},
    VOLUME = {22},
    NUMBER = {3},
     PAGES = {141--144},
      ISSN = {0020-0190},
       DOI = {10.1016/0020-0190(86)90059-1},
       URL = {http://www.sciencedirect.com/science/article/pii/0020019086900591},
  KEYWORDS = {Functional programming, list processing, data representation, program transformation},
  ABSTRACT = {A representation of lists as first-class functions is proposed. Lists represented in this way can be appended together in constant time, and can be converted back into ordinary lists in time proportional to their length. Programs which construct lists using append can often be improved by using this representation. For example, naive reverse can be made to run in linear time, and the conventional ‘fast reverse’ can then be derived easily. Examples are given in KRC (Turner, 1982), the notation being explained as it is introduced. The method can be compared to Sleep and Holmström's proposal (1982) to achieve a similar effect by a change to the interpreter.},
}

@book {Riehl:2014,
       YEAR = {2014},
     AUTHOR = {Riehl, Emily},
      TITLE = {Category Theory in Context},
     SERIES = {Aurora: Dover Modern Math Originals},
  PUBLISHER = {Dover},
       ISBN = {13-9780486809038},
        URL = {http://www.math.jhu.edu/~eriehl/context/},
   ABSTRACT = {The book is extremely pleasant to read, with masterfully crafted exercises and examples that create a beautiful and unique thread of presentation leading the reader safely into the wonderfully rich, expressive, and powerful theory of categories." — The Math Association Category theory has provided the foundations for many of the twentieth century's greatest advances in pure mathematics. This concise, original text for a one-semester course on the subject is derived from courses that author Emily Riehl taught at Harvard and Johns Hopkins Universities. The treatment introduces the essential concepts of category theory: categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads, and other topics. Suitable for advanced undergraduates and graduate students in mathematics, the text provides tools for understanding and attacking difficult problems in algebra, number theory, algebraic geometry, and algebraic topology. Drawing upon a broad range of mathematical examples from the categorical perspective, the author illustrates how the concepts and constructions of category theory arise from and illuminate more basic mathematical ideas. Prerequisites are limited to familiarity with some basic set theory and logic.},
}