Информация о книге

978-5-7913-0082-9

Главная  » Книги по экономике. Бизнес-литература » Бизнес. Предпринимательство. Торговля. Психология бизнеса » Психология бизнеса » Психология менеджмента » Типы в языках программирования

Бенджамин Б., Типы в языках программирования

Добросвет, 2012 г., 978-5-7913-0082-9


Описание книги

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

Поделиться ссылкой на книгу




Об авторе


Последние поступления в рубрике "Психология менеджмента"



Пять пороков команды Пять пороков команды Ленсиони П.М.

Анализ пяти основных помех, мешающих эффективной работе самого мощного ресурса компании, и методы их устранения – в жанре бизнес-романа.Глава одной высокотехнологичной компании подал в отставку, поскольку работа компании при нем разваливалась на глазах. «Менеджеры достигли совершенства в искусстве подставлять друг друга....

Одураченные случайностью Одураченные случайностью 

О великой роли шанса в нашей жизни. И о том, что людям свойственно принимать желаемое за действительное, случайность за закономерность. О том, что наш мир полон неопределенности и именно ею особенно интересен...

Правила жизни Брюса Ли. Слова мудрости на каждый день Правила жизни Брюса Ли. Слова мудрости на каждый день Ли Б.

О книгеРазмышления Брюса Ли, собранные из его дневников и записей. О жизни и смерти, искусстве, личной свободе и философии, воле и этике.Брюс Ли вдохновлял многих....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Бенджамин Б., Типы в языках программирования в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.