Типы в языках программирования

Типы в языках программирования
Лямбда пресс, Добросвет
sku: 436115
1,907.00 грн.
Shipping from: Ukraine
   Description
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.ISBN:978-5-9902824-1-4
   Technical Details
author: Бенджамин Пирс
binding: 70x100/16
ISBN: 978-5-9902824-1-4
language: Русский
page_extent: 680
publisher: Лямбда пресс, Добросвет
Type: book
year: 2012
   Price history chart & currency exchange rate

Customers also viewed