Benjamin C. Pierce

Una exploración exhaustiva de los sistemas de tipos en lenguajes de programación, desde los fundamentos teóricos hasta sus aplicaciones prácticas, incluyendo polimorfismo y subtipado.

Este libro ofrece una introducción formal a los tipos y lenguajes de programación, explorando conceptos clave como la semántica, la inferencia de tipos y diversas herramientas de análisis, proporcionando un fundamento riguroso para el desarrollo de lenguajes de programación.

Este libro aborda la intersección entre los métodos formales y la ingeniería del software, proporcionando una comprensión profunda de cómo aplicar técnicas matemáticas para mejorar la confiabilidad y calidad del software.

Este libro ofrece una introducción a los principios de los lenguajes de programación, abordando conceptos fundamentales como la semántica, la sintaxis, y las técnicas de análisis y diseño de lenguajes.

Una serie de libros de texto que introducen la teoría de los lenguajes de programación y la verificación de software utilizando el asistente de pruebas Coq, construyendo de manera inductiva conceptos fundamentales.

Software Foundations es una serie de libros que enseñan los fundamentos de la programación y la verificación de software utilizando el lenguaje de programación Coq, enfocándose en la construcción de software correcto y seguro.

Un libro de texto que introduce a los lectores a la teoría de lenguajes de programación y sus semánticas, utilizando el asistente de pruebas Coq para formalizar y verificar propiedades de programas.