Пирс Б. Типы в языках программирования / Пирс Бенджамин; перевод с английского Г. Бронникова, А. Отта. - Москва: Добросвет: Лямбда пресс, 2012. - 656 с.: ил. - Прил.: с. 519. - Лит.: с. 599. - Предм. указ.: с. 643. - ISBN 978-5-7913-0082-9.Отраслевые рубрики: вычислительная техника, программирование, языки программирования Ключевые слова: ML, арифметические выражения, бестиповые системы, императивные объекты, исключения, лямбда-исчисление, нормализация, объектно-ориентированное программирование, ограниченная квантификация, подтипы, полиморфизм, рекурсивные типы, семантические стили, типизация, типизированные арифметические выражения, типы, универсальные типы, функциональные объекты, экзистенциальные типы
| Сигла хранения | Всего экз. | В наличии | Заказано | | абонемент | 2 | 2 | 0 |
| 
Блог Мишки Б.
