Este libro ofrece un enfoque práctico para la comprensión de las implementaciones no estrictas lenguajes funcionales.

Se tiene la intención de ser una fuente de material práctico para el trabajo de investigación y para ayudar a los estudiantes a desarrollar, modificar y experimentar con sus propias implementaciones.

El énfasis está en la construcción de prototipos de trabajo de lenguajes funcionales en varias implementaciones donde, en cada caso, el enfoque es dar un entorno completo de trabajo para una aplicación en particular. Con posterioridad, se guía al lector a través de una serie de mejoras para ampliar el ámbito de su aplicación. Esto permite a los lectores desarrollar, modificar y experimentar con sus propias implementaciones para su uso como uente de material práctico en el trabajo de laboratorio.

Los prototipos se expresan en el lenguaje funcional Miranda y el software está disponible en formato legible por la máquina.

Esta obra, publicada originalmente por Prentice Hall (August 1992), fue liberada y ampliada en el año 2000.