Hispanopedia WikiTipos y lenguajes de programación , escrito por Benjamin C. Pierce , profesor deCiencias de la Computación e Información en la Universidad de Pensilvania [ 1 ] , es un libro de informática sobre sistemas de tipos y lenguajes de programación . [ 2 ] Tipos y lenguajes de programación fue publicado en 2002 por MIT Press . [ 3 ]
Desde su publicación, el libro se ha convertido en uno de los textos más citados e influyentes en el campo de la teoría de lenguajes de programación. [ 1 ] Se utiliza frecuentemente como libro de texto de posgrado en programas de informática de todo el mundo y ha moldeado la forma en que se enseñan los sistemas de tipos en los planes de estudio académicos . [ 2 ] [ 1 ]
Una reseña de Frank Pfenning lo calificó como "probablemente el libro más importante en el área de lenguajes de programación en los últimos años". [ 4 ]
Referencias
- 1 2 3 "Benjamin Pierce" . www.cis.upenn.edu . Consultado el 19 de abril de 2025 .
- 1 2 "Tipos y lenguajes de programación" . MIT Press . Consultado el 19 de abril de 2025 .
- ↑ "Tipos y lenguajes de programación" . www.cis.upenn.edu . Consultado el 19 de abril de 2025 .
- ↑ Pfenning, Frank (junio de 2004). "Reseña de Types and Programming Languages de Benjamin C. Pierce". The Bulletin of Symbolic Logic . 10 (2). Association for Symbolic Logic: 213– 214. doi : 10.1017/s1079898600003954 . JSTOR 3176763 .
Enlaces externos
- Sitio web oficial
- Libros de informática
