Introduction to Functional Programming Using Haskell

Sinopsis

Un texto clásico que introduce la programación funcional con Haskell, enfatizando la importancia de la teoría subyacente, la demostración de la corrección de programas y el desarrollo de algoritmos elegantes. Aborda los temas de manera rigurosa y formal. [books.google.com](https://books.google.com/books/about/Introduction_to_Functional_Programming_U.html?id=xIlyOiGOC6EC)