
Practical Foundations for Programming Languages
Robert Harper
Practical Foundations for Programming Languages
Robert Harper
Book Details:
Year: | 2011 |
Publisher: | Carnegie Mellon University |
Pages: | 590 pages |
Language: | english |
Since: | 20/10/2011 |
Size: | 1.44 MB |
License: | Pending review |
Content:
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.
Categories:
Tags:
Loading comments...
Scanning lists...
The book in numbers
rank in categories
online since
20/10/2011rate score
5votes
1Social likes
Nothing yet...Views
Downloads
Interest
Countries segmentation
Source Referers
Websites segmentation
evolution
Loading...