Skip to content

Latest commit

 

History

History
47 lines (32 loc) · 2.47 KB

Referencias.md

File metadata and controls

47 lines (32 loc) · 2.47 KB
Raw

REFERENCIAS

  • Bird, Gibbons, Mehner, Schrijvers & Voigtlaender (2013). Understanding idiomatic traversals backwards and forwards. ACM Sigplan Haskell Symposium.

  • Bird & de Moor (1997). Algebra of programming. Prentice-Hall, Inc., USA.

  • Capriotti & Kaposi (2014). Free Applicative Functors. Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France. EPTCS, 153.

  • Gibbons & Oliveira. (2009). The essence of the Iterator pattern. Journal of Functional Programming, 19(3-4), 377-402. doi:10.1017/S0956796809007291

  • Jaskelioff & O'Connor (2015). A representation theorem for second-order functionals. Journal of Functional Programming, 25, E13.

  • Jaskelioff & Rypacek (2012). An investigation of the laws of traversals. Pages 40–49 of: Chapman, James, & Levy, Paul Blain (eds), Proceedings of the fourth workshop on mathematically structured functional programming. EPTCS, vol. 76

  • Magalhães, Dijkstra, Jeuring, & Löh (2010). A generic deriving mechanism for Haskell. In Proceedings of the third ACM Haskell symposium on Haskell (Haskell ’10). ACM, New York, NY, USA, 37–48. DOI:https://doi.org/10.1145/1863523.1863529

  • Martínez, Jaskelioff, & De Luca. (2018). Improving typeclass relations by being open. SIGPLAN Not. 53, 7 (September 2018), 68–80.

  • McBride & Paterson (2008). Applicative programming with effects. Journal of functional programming, 18(01), 1–13

  • Moggi, Eugenio (1989). Computational lambda-calculus and monads (PDF). Fourth Annual Symposium on Logic in computer science. Pacific Grove, California.

  • Moggi, Eugenio (1991). Notions of Computation and Monads. Information and Computation. 93 (1): 55–92.

  • Peyton Jones & Wadler (1993). Imperative functional programming (PDF). 20th Annual ACM Symposium on Principles of Programming Languages.

  • Rivas, Jaskelioff, & Schrijvers. (2015). From monoids to near-semirings: the essence of MonadPlus and alternative. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP ’15). Association for Computing Machinery, New York, NY, USA, 196–207.

  • Rivas, Jaskelioff, & Schrijvers. (2018). A unified view of monadic and applicative non-determinism. Science of Computer Programming, Volume 152, Pages 70-98, ISSN 0167-6423.

  • Wadler, Philip (1992). The essence of functional programming. 19th Annual ACM Symposium on Principles of Programming Languages. Albuquerque, New Mexico. 10.1.1.38.9516.