|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
212025 |
| 005 |
20231101225726.0 |
| 010 |
|
|
|a 9785990282414
|
| 010 |
|
|
|a 978-5-7913-0082-9
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\231647
|
| 090 |
|
|
|a 212025
|
| 100 |
|
|
|a 20120322d2012 km y0rusy50 ca
|
| 101 |
1 |
|
|a rus
|c eng
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a a z 001zy
|
| 200 |
1 |
|
|a Типы в языках программирования
|e пер. с англ.
|f Б. Пирс
|
| 210 |
|
|
|a Москва
|c Лямбда пресс
|c Добросвет
|d 2012
|
| 215 |
|
|
|a 656 с.
|c ил.
|
| 320 |
|
|
|a Библиогр.: с. 601-641.
|
| 320 |
|
|
|a Предметный указатель: с. 643-655.
|
| 330 |
|
|
|a Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем — нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
|
| 606 |
1 |
|
|a Языки программирования
|2 stltpush
|3 (RuTPU)RU\TPU\subj\65957
|9 82264
|
| 610 |
1 |
|
|a математический аппарат
|
| 610 |
1 |
|
|a бестиповые системы
|
| 610 |
1 |
|
|a арифметические выражения
|
| 610 |
1 |
|
|a лямбда-исчисление
|
| 610 |
1 |
|
|a типизированные системы
|
| 610 |
1 |
|
|a простые расширения
|
| 610 |
1 |
|
|a подтипы
|
| 610 |
1 |
|
|a рекурсивные типы
|
| 610 |
1 |
|
|a полиморфизм
|
| 610 |
1 |
|
|a системы высших порядков
|
| 675 |
|
|
|a 004.43
|v 4
|
| 700 |
|
1 |
|a Пирс
|b Б.
|g Бенджамин
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20120322
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20140424
|g RCR
|
| 942 |
|
|
|c BK
|
| 959 |
|
|
|a 44/20120321
|d 1
|e 1421,50
|f ЧЗТЛ:1
|
