Practical Foundations for Programming Languages (2011)КНИГИ » ПРОГРАММИНГ
Название: 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.
Навигация
Вход на сайт
Реклама
Practical Foundations for Programming Languages (2011) 
