Temas avanzados en tipos y lenguajes de programación- Benjamin C. Pierce

El estudio de sistemas de tipo para lenguajes de programación ahora toca muchas áreas de la informática, desde el diseño e implementación de lenguaje hasta la ingeniería de software, seguridad de redes, bases de datos y análisis de sistemas concurrentes y distribuidos. Este libro ofrece presentaciones accesibles a las ideas clave en el campo, con contribuciones de expertos en cada tema. Los temas cubiertos incluyen análisis de tipo preciso, que amplían los sistemas de tipo simple para darles un mejor control sobre el comportamiento en tiempo de ejecución de los sistemas; Sistemas de tipo para lenguajes de bajo nivel; Aplicaciones de tipos al razonamiento sobre programas informáticos; La teoría de tipos como un marco para el diseño de sofisticados sistemas de módulos; Y técnicas avanzadas en la inferencia del tipo del ML-estilo. Los temas avanzados en tipos y los lenguajes de programación se construyen en los tipos y los lenguajes de programación de Benjamin Pierce (prensa del MIT, 2002); La mayoría de los capítulos deben ser accesibles para los lectores que estén familiarizados con las notaciones básicas y técnicas de semántica operativa y sistemas de tipo - el material cubierto en la primera mitad del libro anterior. Los Temas Avanzados en Tipos y Lenguajes de Programación pueden usarse en el aula y como Un recurso para los profesionales. La mayoría de los capítulos incluyen ejercicios, que van en la dificultad de verificación de comprensión rápida a extensiones desafiantes, muchos con soluciones.