Типы в языках программирования » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Introduction to Computer Science Introduction to Computer Science Microsoft 365 Copilot At Work: Using AI to Get the Most from Your Business Data and Favorite Apps Microsoft 365 Copilot At Work: Using AI to Get the Most from Your Business Data and Favorite Apps Richard Bong: America's #1 Ace Fighter Pilot of World War II (American War Heroes) Richard Bong: America's #1 Ace Fighter Pilot of World War II (American War Heroes) Smooth Life: Fun and Delicious Recipes from the Blender and Beyond!: A Cookbook Smooth Life: Fun and Delicious Recipes from the Blender and Beyond!: A Cookbook Birds of Borneo (Pocket Photo Guides) Birds of Borneo (Pocket Photo Guides) Entangled Life: The Illustrated Edition: How Fungi Make Our Worlds Entangled Life: The Illustrated Edition: How Fungi Make Our Worlds История костюма: От античности до современности История костюма: От античности до современности Routledge Handbook of Trends and Issues in Global Tourism Supply and Demand Routledge Handbook of Trends and Issues in Global Tourism Supply and Demand Моделирование одежды методом наколки Моделирование одежды методом наколки Диетология (4-е издание) Диетология (4-е издание) Fundamentals of Sustainable Aviation Fundamentals of Sustainable Aviation Homer and His Iliad, US Edition Homer and His Iliad, US Edition Graffiti: Vandalism or Art? Graffiti: Vandalism or Art? Технология серы Технология серы Mastering ArcGIS Pro, 2nd Edition Mastering ArcGIS Pro, 2nd Edition Artificial Intelligence Technologies for Engineering Applications Artificial Intelligence Technologies for Engineering Applications
Introduction to Computer Science Introduction to Computer Science Microsoft 365 Copilot At Work: Using AI to Get the Most from Your Business Data and Favorite Apps Microsoft 365 Copilot At Work: Using AI to Get the Most from Your Business Data and Favorite Apps Richard Bong: America's #1 Ace Fighter Pilot of World War II (American War Heroes) Richard Bong: America's #1 Ace Fighter Pilot of World War II (American War Heroes) Smooth Life: Fun and Delicious Recipes from the Blender and Beyond!: A Cookbook Smooth Life: Fun and Delicious Recipes from the Blender and Beyond!: A Cookbook Birds of Borneo (Pocket Photo Guides) Birds of Borneo (Pocket Photo Guides) Entangled Life: The Illustrated Edition: How Fungi Make Our Worlds Entangled Life: The Illustrated Edition: How Fungi Make Our Worlds История костюма: От античности до современности История костюма: От античности до современности Routledge Handbook of Trends and Issues in Global Tourism Supply and Demand Routledge Handbook of Trends and Issues in Global Tourism Supply and Demand Моделирование одежды методом наколки Моделирование одежды методом наколки Диетология (4-е издание) Диетология (4-е издание) Fundamentals of Sustainable Aviation Fundamentals of Sustainable Aviation Homer and His Iliad, US Edition Homer and His Iliad, US Edition Graffiti: Vandalism or Art? Graffiti: Vandalism or Art? Технология серы Технология серы Mastering ArcGIS Pro, 2nd Edition Mastering ArcGIS Pro, 2nd Edition Artificial Intelligence Technologies for Engineering Applications Artificial Intelligence Technologies for Engineering Applications
Категория: КНИГИ » ПРОГРАММИРОВАНИЕ
Типы в языках программирования
Добавил: bhaer / 10-08-2016, 13:25 /

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

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


ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!





[related-news]

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

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