Tipos y lenguajes de programación , ISBN 0-262-16209-1 , es un libro de Benjamin C. Pierce sobre sistemas de tipos publicado en 2002.
Una revisión de Frank Pfenning lo llamó "probablemente el libro más importante en el área de lenguajes de programación en los últimos años". [1]
Referencias
- ^ Pfenning, Frank (junio de 2004). "Revisión de tipos y lenguajes de programación por Benjamin C. Pierce". El Boletín de Lógica Simbólica . Asociación de Lógica Simbólica. 10 (2): 213–214. doi : 10.1017 / s1079898600003954 . JSTOR 3176763 .