Daniel P. Friedman

Un libro único que enseña los fundamentos de la programación funcional y la recursión utilizando el lenguaje Scheme, a través de una serie de preguntas y respuestas cortas. Se centra en construir la comprensión paso a paso de conceptos complejos.

The Little Lisper es una introducción accesible al lenguaje de programación Lisp, que utiliza una narrativa simple y ilustrativa para enseñar conceptos fundamentales de programación mediante el lente de la recursión y la construcción de expresiones.

Este libro explora los principios fundamentales de la programación y el diseño de lenguajes a través del uso del lenguaje de programación Scheme, enfocándose en conceptos como la recursión y la abstracción.

Este texto aborda la programación desde una perspectiva funcional, enfatizando la importancia de la abstracción y la estructura formal para construir programas complejos.

Este libro ofrece una introducción a los conceptos fundamentales de los lenguajes de programación, enfatizando la comprensión de la estructura y la implementación de lenguajes a través de ejemplos y ejercicios prácticos.

Un texto que enseña los principios del diseño de lenguajes de programación y sus implementaciones, utilizando un enfoque práctico donde los lectores construyen intérpretes y compiladores para lenguajes cada vez más complejos.

Un libro que enseña los principios de los lenguajes de programación a través de la construcción de intérpretes, presentando los detalles de implementación de varias características del lenguaje en un estilo funcional.

The Seasoned Schemer es una obra que explora conceptos avanzados de programación en Scheme, a través de ejemplos y ejercicios que fomentan una comprensión profunda de los principios de la programación funcional.

The Little Schemer is a playful introduction to the concepts of functional programming and the Scheme language, using a dialogue format to engage readers and encourage them to think algorithmically.

The Seasoned Schemer es un libro que explora conceptos de programación y estructuras de datos a través de la técnica del análisis y la síntesis de programas, usando el lenguaje de programación Scheme.

Este libro explora los conceptos fundamentales de los lenguajes de programación mediante la implementación de varios lenguajes de programación, proporcionando un enfoque teórico y práctico para entender la computación y su funcionamiento interno.

Reasoned Schemer explora la lógica y el razonamiento en la programación utilizando el lenguaje de programación Scheme, presentando conceptos fundamentales de una manera accesible y amigable para los lectores.

Una introducción al paradigma de la programación lógica, utilizando el lenguaje Scheme. Explora conceptos como la unificación, la búsqueda y la satisfacción de restricciones, presentando la programación como una forma de razonamiento formal.

The Little Prover es un libro que introduce conceptos de programación y matemáticas a través de una historia sobre un niño que usa la lógica y la prueba de teoremas para resolver problemas.

Una exploración de la programación lógica y el razonamiento relacional, presentado como una serie de diálogos en el estilo socrático, abordando conceptos profundos de computación a través de la implementación de un pequeño lenguaje.