Типы в языках программирования: пер. с англ.
| Hlavní autor: | |
|---|---|
| Shrnutí: | Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем — нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики. |
| Jazyk: | ruština |
| Vydáno: |
Москва, Лямбда пресс, 2012
|
| Témata: | |
| Médium: | Kniha |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=212025 |
| Fyzický popis: | 656 с. ил. |
|---|---|
| Shrnutí: | Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем — нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики. |
| ISBN: | 9785990282414 978-5-7913-0082-9 |