Haskell en la docencia de la matemática discreta

• Autores: Francisco Miguel García Olmedo , Pedro González Rodelas
• Localización: Innovación Docente e Investigación en Ciencias, Ingeniería y Arquitectura: Experiencias de cambio en la Metodología Docente / María del Mar Simón Márquez (comp.), José Jesús Gázquez Linares (comp.), Ana Belén Barragán Martín (comp.), África Martos Martínez (comp.), 2022, ISBN 978-84-1122-865-7, págs. 431-448
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Referencias bibliográficas
  • Barendregt, H.P. (1984). The Lambda Calculus: Its Syntax and Semantics. North- Holland, 2a edition,
  • Bird, R., y Wadler, P. (1988). Introduction to Functional Programming. Prentice- Hall,
  • Buurlage, J.W. (s.f.). Categories and Haskell. An introduction to the mathematics behind modern functional programming.
  • Lipovača, M. (2011). Learn You a Haskell for Great Good. no starch press.
  • MacLane, S. (1998). Categories for the Working Mathematician. Springer-Verlag,
  • Milewski, B. (2017). Category theory for programmers. Version 0.1,
  • Peyton, S.L. (1987). The Implementation of Functional Programming Languages. Prentice-Hall.
  • Ruiz, B.C., Gutiérrez, F., Guerrero, P., y Gallardo, J.E. (2004). Razonando con Haskell. Thomson.