Normal view
MARC view
Типы в языках программирования Бенджамин Пирс ; пер. с англ. [Г. Бронников, А. Отт]
Material type: TextLanguage: Russian Original language: English Publication details: Москва Лямбда пресс [и др.] 2012Description: XXIII, [1], 655 с. 24 смContent type: Текст Media type: непосредственный ISBN: 9785791300829; 9785990282414Other title: Types and programming languages [Parallel title]Subject(s): Языки программирования -- Теория | лямбда-исчисление нетипизированное | типы языков программирования | полиморфизм (программирование) | типы рекурсивные языков программирования, метатеория | типы языков программирования, вложение | арифметические выражения бестиповые | языки программирования, проектирование | типы языков программирования, система | арифметические выражения на языке ML | лямбда-исчисления на языке ML | типы языков программирования простые | подтипы языков программирования | объектно-ориентированное программирование | Java облегченная | типы языков программирования, реконструкция | типы языков программирования универсальные | типы языков программирования экзистенциальные | квантификация ограниченная | операторы над типами языков программирования | подтипы языков программирования высших порядков | упражнения | примерыOther classification: З973.2-018.1,0Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 2-060009 (Browse shelf (Opens below)) | Available | 13820000847695 |
Библиогр.: с. 599-641
Предм. указ.: с. 643-655
There are no comments on this title.