Richard S. Bird

Una exploración profunda de los principios de diseño de programas funcionales, presentando un cálculo de programas que permite derivar y transformar algoritmos, centrándose en la formalización y la composición.

Un texto que introduce los principios y técnicas de la programación funcional, explorando cómo los programas pueden construirse de manera declarativa y con un fuerte fundamento matemático.

Un texto clásico que introduce los conceptos fundamentales de la programación funcional, centrándose en la construcción de programas correctos y elegantes mediante funciones puras y transformaciones de datos.

Bird explora cómo el sistema de tipos de un lenguaje de programación puede ser usado no solo para evitar errores sino como una herramienta fundamental para razonar sobre el diseño y la corrección de los programas.

Este libro explora la relación entre la tributación y el desarrollo, analizando cómo la capacidad fiscal de los países afecta su progreso económico y social, así como las implicaciones de una fiscalidad débil en el desarrollo sostenible.