
Type Theory & Functional Programming
Simon Thompson
Type Theory & Functional Programming
Simon Thompson
Book Details:
Year: | 1999 |
Publisher: | University of Kent |
Pages: | 378 pages |
Language: | english |
Since: | 28/08/2013 |
Size: | 1.25 MB |
License: | Pending review |
Content:
La Teoría de Construcción de Tipos ha sido un tema de interés en la investigación tanto para los científicos informáticos, matemáticos, lógicos y filósofos durante varios años.
En matemáticas, lógica y ciencias de la computación, la teoría de tipos es cualquiera de varios sistemas formales que pueden servir como alternativas a la teoría informal de conjuntos, o al estudio de tales formalismos en general. En la teoría de lenguajes de programación, una rama de las ciencias de la computación, la teoría de tipos puede referirse al diseño, análisis y estudio de los sistemas de tipos, aunque algunos científicos de la computación limitan el significado del término al estudio de formalismos abstractos como el cálculo lambda tipado.
Hasta ahora la mayor parte del material sobre teoría de tipos sólo ha aparecido en las actas de congresos y en trabajos de investigación, por lo que parece apropiado tratar de establecer el estado actual de desarrollo en una forma accesible a los estudiantes de último curso, estudiantes de postgrado, investigadores y profesores de ciencias de la computación y afines - por lo tanto, para todos ellos es este libro.
Este manual, editado en 1999, se encuentra actualmente fuera de los circuitos de impresión habiendo sido liberado por su autor para dominio público.
Categories:
Tags:
Loading comments...
Scanning lists...
The book in numbers
rank in category
online since
28/08/2013rate score
Nothing yet...votes
Nothing yet...Social likes
Nothing yet...Views
Downloads
Interest
Countries segmentation
Source Referers
Websites segmentation
evolution
Loading...