Типы в языках программирования

Main
Computers - Programming
Типы в языках программирования

Типы в языках программирования

Бенджамин Пирс

0 / 0

0 comments

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем – нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.

Categorias:

Computers - Programming

Ano:

2010

Editora:

Лямбда пресс

Idioma:

russian

Páginas:

655

Arquivo:

PDF, 10.25 MB