Название: Practical Foundations for Programming Languages
Автор: Robert Harper
Издательство: Carnegie Mellon University
Год: 2011
Формат: pdf
Страниц: 590
Размер: 1.4 mb.
Язык: English
Este libro est? elaborado como un borrador sobre los fundamentos de la programaci?n.
El cuerpo central de este trabajo se basa en que las caracter?sticas de los lenguajes de programaci?n pueden ser vistas como manifestaciones de una estructura de subyacente que rige su sintaxis y sem?ntica.
El ?nfasis, por lo tanto, es en el concepto de tipo (type), que codifica y organiza el universo computacional de la misma manera que el concepto de conjunto (set) puede ser visto como un principio de organizaci?n para el universo matem?tico.
El prop?sito de este libro es explicar ese patr?n.