Типы в языках программирования Год выпуска: 2012Автор: Бенджамин ПирсИздательство: Лямбда пресс, ДобросветСтраниц: 680ISBN: 978-5-7913-0082-9, 978-5-9902824-1-4, 978-0-262-16209-8Описание Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Похожие книги
Е.В. Пышкин. Основные концепции и механизмы объектно-ориентированного программирования (+CD). – СПб.: БХВ-Петербург, 2005. – 640 с. Дж. Митчелл. Основания языков программирования. – М.: НИЦ "Регулярная и хаотическая динамика", 2010. – 720 с. С.В. Зыков. Основы современного программирования. – М.: Горячая Линия - Телеком, 2006. – 448 с. В.В. Васильченко. FORTRAN. Программирование Windows-приложений на языке FORTRAN. Элементы управления и графика Windows. – М.: Диалог-МИФИ, 2006. – 400 с. В.Н. Пильщиков. Assembler. Программирование на языке ассемблера IBM PC. – М.: Диалог-МИФИ, 2005. – 288 с. Бенджамин Пирс. Типы в языках программирования. – М.: Лямбда пресс, Добросвет, 2012. – 680 с. А.Г. Схиртладзе, А.В. Скворцов, Д.А. Чмырь. Проектирование единого информационного пространства виртуальных предприятий. – М.: Абрис, Высшая школа, 2012. – 616 с. Н.И. Парфилова, А.В. Пруцков, А.Н. Пылькин, Б.Г. Трусов. Информатика и программирование. Алгоритмизация и программирование. – М.: Academia, 2012. – 336 с. В.А. Касторнова. Структуры данных и алгоритмы их обработки на языке программирования Паскаль. – СПб.: БХВ-Петербург, 2016. – 304 с. С.В. Зыков. Программирование. Учебник и практикум. – М.: Юрайт, 2016. – 322 с. Прохоренок Н., Дронов В. Python 3 и PyQt 5. Разработка приложений. – СПб.: БХВ-Петербург, 2016. – 832 с. А.Ю. Дёмин, В.А. Дорофеев. Информатика. Лабораторный практикум. Учебное пособие. – М.: Юрайт, 2016. – 132 с. С.В. Зыков. Программирование. Объектно-ориентированный подход. Учебник и практикум. – М.: Юрайт, 2016. – 156 с. С.В. Зыков. Введение в теорию программирования. Курс лекций. – М.: Интернет-университет информационных технологий, 2004. – 400 с. В.Н. Пильщиков. Программирование на языке ассемблера IBM PC. – М.: Диалог-МИФИ, 2014. – 288 с. Н.А. Тюкачев, В.Г. Хлебостроев. C#. Основы программирования. Учебное пособие (+ CD). – СПб.: Лань, 2017. – 272 с. А.Ю. Демин, В.А. Дорофеев. Информатика. Лабораторный практикум. Учебное пособие. – М.: Юрайт, 2018. – 132 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Кэтрин, 21.04 Спасибо за терпение
