Типы в языках программирования » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Machine Learning for Materials Discovery: Numerical Recipes and Practical Applications Machine Learning for Materials Discovery: Numerical Recipes and Practical Applications Understanding Cryptography: From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms, 2nd Edition Understanding Cryptography: From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms, 2nd Edition Многопоточный Python Многопоточный Python Анатомия человека. Большой популярный атлас Анатомия человека. Большой популярный атлас Дивизии войск СС. История организации, структура, боевое применение Дивизии войск СС. История организации, структура, боевое применение Хронология российской истории: Энциклопедический справочник Хронология российской истории: Энциклопедический справочник Vaucelles Abbey: Monanstic, Political, and Social Ties in the Borderland of the Cambresis, 1132-1330 Vaucelles Abbey: Monanstic, Political, and Social Ties in the Borderland of the Cambresis, 1132-1330 Industrial Inorganic Chemistry, 2nd Edition Industrial Inorganic Chemistry, 2nd Edition The Ocean Speaks: A photographic journey of discovery and hope The Ocean Speaks: A photographic journey of discovery and hope Маринад для шашлыка. Классические рецепты и оригинальные прочтения маринадов к мясу Маринад для шашлыка. Классические рецепты и оригинальные прочтения маринадов к мясу Физиотерапия воспаления и боли. Патофизиологические аспекты и методики лечения Физиотерапия воспаления и боли. Патофизиологические аспекты и методики лечения Взаимодействие излучения с атомами и наночастицами Взаимодействие излучения с атомами и наночастицами Артиллерия и минометы XX века Артиллерия и минометы XX века Linux Coding & Programming Tricks & Tips - 18th Edition 2024 Linux Coding & Programming Tricks & Tips - 18th Edition 2024 Introduction to Game Programming using Processing: For Designers, Artists, Players, Non-Tech People and Everybody Else Introduction to Game Programming using Processing: For Designers, Artists, Players, Non-Tech People and Everybody Else Introduction to Multidisciplinary Science with Artificial Intelligence Introduction to Multidisciplinary Science with Artificial Intelligence
Machine Learning for Materials Discovery: Numerical Recipes and Practical Applications Machine Learning for Materials Discovery: Numerical Recipes and Practical Applications Understanding Cryptography: From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms, 2nd Edition Understanding Cryptography: From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithms, 2nd Edition Многопоточный Python Многопоточный Python Анатомия человека. Большой популярный атлас Анатомия человека. Большой популярный атлас Дивизии войск СС. История организации, структура, боевое применение Дивизии войск СС. История организации, структура, боевое применение Хронология российской истории: Энциклопедический справочник Хронология российской истории: Энциклопедический справочник Vaucelles Abbey: Monanstic, Political, and Social Ties in the Borderland of the Cambresis, 1132-1330 Vaucelles Abbey: Monanstic, Political, and Social Ties in the Borderland of the Cambresis, 1132-1330 Industrial Inorganic Chemistry, 2nd Edition Industrial Inorganic Chemistry, 2nd Edition The Ocean Speaks: A photographic journey of discovery and hope The Ocean Speaks: A photographic journey of discovery and hope Маринад для шашлыка. Классические рецепты и оригинальные прочтения маринадов к мясу Маринад для шашлыка. Классические рецепты и оригинальные прочтения маринадов к мясу Физиотерапия воспаления и боли. Патофизиологические аспекты и методики лечения Физиотерапия воспаления и боли. Патофизиологические аспекты и методики лечения Взаимодействие излучения с атомами и наночастицами Взаимодействие излучения с атомами и наночастицами Артиллерия и минометы XX века Артиллерия и минометы XX века Linux Coding & Programming Tricks & Tips - 18th Edition 2024 Linux Coding & Programming Tricks & Tips - 18th Edition 2024 Introduction to Game Programming using Processing: For Designers, Artists, Players, Non-Tech People and Everybody Else Introduction to Game Programming using Processing: For Designers, Artists, Players, Non-Tech People and Everybody Else Introduction to Multidisciplinary Science with Artificial Intelligence Introduction to Multidisciplinary Science with Artificial Intelligence
Категория: КНИГИ » ПРОГРАММИРОВАНИЕ
Типы в языках программирования
Добавил: bhaer / 10-08-2016, 13:25 /

Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс
Год: 2010
Страниц: 655
Формат: PDF
Размер: 10 Mb
Язык: Русский

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




[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!