Типы в языках программирования
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
![VEVOR Пресс для приготовления гамбургерных котлет диаметром 6 дюймов пресс для приготовления гамбургеров коммерческий
VEVOR Пресс для приготовления гамбургерных котлет диаметром 6 дюймов пресс для приготовления гамбургеров коммерческий](http://image.vevor.com/ru%2FHBJJKH-1500000001V0%2Fgoods_img-v2%2Fcommercial-burger-press-m100-1.2.jpg?timestamp=1654589498000)
+9%
12%
~ 5,300.00 грн.
VEVOR Пресс для приготовления гамбургерных котлет диаметром 6 дюймов пресс для приготовления гамбургеров коммерческий
vevor.com![VEVOR 7.8'' Большой роликовый тестораскаточный станок для макаронных изделий Бытовая машина для теста для пиццы ручной кондитерский пресс
VEVOR 7.8'' Большой роликовый тестораскаточный станок для макаронных изделий Бытовая машина для теста для пиццы ручной кондитерский пресс](http://image.vevor.com/ru%2FSDYMJ-XXMB20CM001V0%2Fgoods_img-v1%2Fdough-sheeter-m100-1.2.jpg?timestamp=1630557912000)
+9%
11%
~ 5,200.00 грн.
VEVOR 7.8'' Большой роликовый тестораскаточный станок для макаронных изделий Бытовая машина для теста для пиццы ручной кондитерский пресс
vevor.com![VEVOR Пресс для приготовления гамбургерных котлет диаметром 5 дюймов пресс для приготовления гамбургеров коммерческий
VEVOR Пресс для приготовления гамбургерных котлет диаметром 5 дюймов пресс для приготовления гамбургеров коммерческий](http://image.vevor.com/ru%2FHBJJKH-1300000001V0%2Fgoods_img-v1%2Fcommercial-burger-press-m100-1.2.jpg?timestamp=1654589394000)
+9%
10%
~ 4,800.00 грн.
VEVOR Пресс для приготовления гамбургерных котлет диаметром 5 дюймов пресс для приготовления гамбургеров коммерческий
vevor.com![VEVOR Пресс для приготовления гамбургерных котлет диаметром 4 дюйма Пресс для приготовления гамбургеров коммерческий
VEVOR Пресс для приготовления гамбургерных котлет диаметром 4 дюйма Пресс для приготовления гамбургеров коммерческий](http://image.vevor.com/ru%2FHBJJKH-1000000001V0%2Fgoods_img-v1%2Fcommercial-burger-press-m100-1.2.jpg?timestamp=1654589597000)
+9%
7%
~ 4,640.00 грн.
VEVOR Пресс для приготовления гамбургерных котлет диаметром 4 дюйма Пресс для приготовления гамбургеров коммерческий
vevor.com![VEVOR HD ручной пресс для масла машина экспеллер экстрактор нержавеющая сталь#304 домашнее масло
VEVOR HD ручной пресс для масла машина экспеллер экстрактор нержавеющая сталь#304 домашнее масло](http://image.vevor.com/ru%2FSDZYJ000000000001V0%2Fgoods_img-v1%2Fmanual-oil-press-machine-m100-1.2.jpg?timestamp=1677201611000)
+9%
5%
~ 3,310.00 грн.
VEVOR HD ручной пресс для масла машина экспеллер экстрактор нержавеющая сталь#304 домашнее масло
vevor.com![VEVOR Набор инструментов с пресс-клещами / пресс-клещами TH16 TH20 TH26 для систем композитных труб
VEVOR Набор инструментов с пресс-клещами / пресс-клещами TH16 TH20 TH26 для систем композитных труб](http://image.vevor.com/ru%2FYGQTHXQT3GJZHPJ01V0%2Fgoods_img-v1%2Fpipe-wrench-jaw-m100-1.2.jpg?timestamp=1625722502000)
+9%
1%
~ 5,670.00 грн.
VEVOR Набор инструментов с пресс-клещами / пресс-клещами TH16 TH20 TH26 для систем композитных труб
vevor.com![VEVOR Мини пресс мини термопресс 7 x 8 дюймов красный портативный легкий пресс мини для футболок
VEVOR Мини пресс мини термопресс 7 x 8 дюймов красный портативный легкий пресс мини для футболок](http://image.vevor.com/ru%2FBXSTHJP0708-M0001V2%2Fgoods_img-v1%2Fheat-press-machine-m100-1.2.jpg?timestamp=1656554906000)
+9%
1%
~ 3,660.00 грн.
VEVOR Мини пресс мини термопресс 7 x 8 дюймов красный портативный легкий пресс мини для футболок
vevor.com![VEVOR Ø12-28 мм обжимные клещи для пресс-фитингов труб из нержавеющей стали 5шт пресс-клещи
VEVOR Ø12-28 мм обжимные клещи для пресс-фитингов труб из нержавеющей стали 5шт пресс-клещи](http://image.vevor.com/ru%2FYGQ12-15-18-22-28V0%2Fgoods_img-v1%2Fpropress-tool-m100-1.2.jpg?timestamp=1628585596000)
+9%
1%
~ 3,510.00 грн.
VEVOR Ø12-28 мм обжимные клещи для пресс-фитингов труб из нержавеющей стали 5шт пресс-клещи
vevor.com![VEVOR TH-образные V-образные гидравлические пресс-клещи медные и нержавеющие стальные трубы радиальные пресс-клещи
VEVOR TH-образные V-образные гидравлические пресс-клещи медные и нержавеющие стальные трубы радиальные пресс-клещи](http://image.vevor.com/ru%2FYYQVX12-28TH16-32V0%2Fgoods_img-v1%2Fhydraulic-pipe-crimper-m100-1.2.jpg?timestamp=1672049260000)
+9%
1%
~ 5,060.00 грн.
VEVOR TH-образные V-образные гидравлические пресс-клещи медные и нержавеющие стальные трубы радиальные пресс-клещи
vevor.com![VEVOR TH-/U-образные гидравлические пресс-клещи для труб из меди и нержавеющей стали
VEVOR TH-/U-образные гидравлические пресс-клещи для труб из меди и нержавеющей стали](http://image.vevor.com/ru%2FYYQUX-THX00000001V0%2Fgoods_img-v1%2Fhydraulic-pipe-crimper-m100-1.2.jpg?timestamp=1622016239000)
+9%
1%
~ 5,130.00 грн.
VEVOR TH-/U-образные гидравлические пресс-клещи для труб из меди и нержавеющей стали
vevor.com![VEVOR Гидравлические обжимные плоскогубцы Ø15-28 мм для медных пресс-фитингов V-образного типа
VEVOR Гидравлические обжимные плоскогубцы Ø15-28 мм для медных пресс-фитингов V-образного типа](http://image.vevor.com/ru%2FGC-1525HFTSYGQ001V0%2Fgoods_img-v1%2Fhydraulic-pipe-crimper-m100-1.2.jpg?timestamp=1667469741000)
+9%
1%
~ 4,620.00 грн.
VEVOR Гидравлические обжимные плоскогубцы Ø15-28 мм для медных пресс-фитингов V-образного типа
vevor.com![VEVOR Стальной переплетный пресс A4 размер бумагоделательный книжный пресс
VEVOR Стальной переплетный пресс A4 размер бумагоделательный книжный пресс](http://image.vevor.com/ru%2FYPJA4000000000001V0%2Fgoods_img-v1%2Fbookbinding-press-m100-1.2.jpg?timestamp=1628587437000)
+9%
1%
~ 4,840.00 грн.
VEVOR Стальной переплетный пресс A4 размер бумагоделательный книжный пресс
vevor.com![VEVOR Кружка пресс машина автоматический тепловой пресс сублимационной печати 11-15oz чашки
VEVOR Кружка пресс машина автоматический тепловой пресс сублимационной печати 11-15oz чашки](http://image.vevor.com/ru%2FQZDDDZTKB220V7JP7V2%2Fgoods_img-v1%2Fmug-press-machine-m100-1.2.jpg?timestamp=1648622318000)
+9%
1%
~ 4,600.00 грн.
VEVOR Кружка пресс машина автоматический тепловой пресс сублимационной печати 11-15oz чашки
vevor.com![VEVOR Съемное устройство для обжима гидравлического шланга 7 пресс-форм с алюминиевым насосом ручной обжимной набор
VEVOR Съемное устройство для обжима гидравлического шланга 7 пресс-форм с алюминиевым насосом ручной обжимной набор](http://image.vevor.com/ru%2FYGQYYFLSPLB000001V0%2Fgoods_img-v1%2Fhydraulic-hose-crimper-m100-1.2.jpg?timestamp=1650612510000)
+9%
1%
~ 5,570.00 грн.
VEVOR Съемное устройство для обжима гидравлического шланга 7 пресс-форм с алюминиевым насосом ручной обжимной набор
vevor.com![VEVOR Пресс для вина виноградный пресс для производства вина 3,5 л машина для прессования фруктовой настойки
VEVOR Пресс для вина виноградный пресс для производства вина 3,5 л машина для прессования фруктовой настойки](http://image.vevor.com/ru%2FZZJDGNYZJ3LRD0001V0%2Fgoods_img-v1%2Fwine-presser-m100-1.2.jpg?timestamp=1621586563000)
+9%
1%
~ 4,750.00 грн.
VEVOR Пресс для вина виноградный пресс для производства вина 3,5 л машина для прессования фруктовой настойки
vevor.com![VEVOR Беседочный пресс 1 тонна рычажный стенд монтируемые подшипники чугунный ручной рабочий стол
VEVOR Беседочный пресс 1 тонна рычажный стенд монтируемые подшипники чугунный ручной рабочий стол](http://image.vevor.com/ru%2FZYJ1DSDYLJ0000001V0%2Fgoods_img-v1%2Farbor-press-m100-1.2.jpg?timestamp=1625722502000)
+9%
1%
~ 3,130.00 грн.
VEVOR Беседочный пресс 1 тонна рычажный стенд монтируемые подшипники чугунный ручной рабочий стол
vevor.com![VEVOR Термопресс машина для футболок 12 x 10 синий портативный легкий мини пресс
VEVOR Термопресс машина для футболок 12 x 10 синий портативный легкий мини пресс](http://image.vevor.com/ru%2FBXSTHJP1210-BU001V2%2Fgoods_img-v1%2Fheat-press-machine-m100-1.2.jpg?timestamp=1657766729000)
+9%
1%
~ 5,620.00 грн.
VEVOR Термопресс машина для футболок 12 x 10 синий портативный легкий мини пресс
vevor.com![VEVOR V-образные гидравлические пресс-клещи медные и нержавеющие стальные трубы радиальные пресс-клещи
VEVOR V-образные гидравлические пресс-клещи медные и нержавеющие стальные трубы радиальные пресс-клещи](http://image.vevor.com/ru%2FYYQVX12-280000001V0%2Fgoods_img-v1%2Fhydraulic-pipe-crimper-m100-1.2.jpg?timestamp=1632710976000)
+9%
1%
~ 5,180.00 грн.
VEVOR V-образные гидравлические пресс-клещи медные и нержавеющие стальные трубы радиальные пресс-клещи
vevor.com![VEVOR 5700# Скамья для часов открывалка корпус назад пресс и аксессуары инструмент для ремонта часовщика
VEVOR 5700# Скамья для часов открывалка корпус назад пресс и аксессуары инструмент для ремонта часовщика](http://image.vevor.com/ru%2F5700KBJ0000000001V0%2Fgoods_img-v1%2Fm100-1.2.jpg?timestamp=1614528000000)
+9%
1%
~ 4,560.00 грн.
VEVOR 5700# Скамья для часов открывалка корпус назад пресс и аксессуары инструмент для ремонта часовщика
vevor.com![Single Sale Building Blocks Super Heroes Bane Catman Batman Riddle Clown Girl Joker Figures For Children Model Toys Gift PG8186
Single Sale Building Blocks Super Heroes Bane Catman Batman Riddle Clown Girl Joker Figures For Children Model Toys Gift PG8186](http://ae01.alicdn.com/kf/HTB1.2Kwblr0gK0jSZFnq6zRRXXaq/Single-Sale-Building-Blocks-Super-Heroes-Bane-Catman-Batman-Riddle-Clown-Girl-Joker-Figures-For-Children.jpg)
+6%
1%
~ 33.10 грн.
Single Sale Building Blocks Super Heroes Bane Catman Batman Riddle Clown Girl Joker Figures For Children Model Toys Gift PG8186
aliexpress.com![Хлопковая кофта Wood Wood Ian Hoodie мужская цвет серый с капюшоном с принтом 10135605.2424-GREYMEL
Хлопковая кофта Wood Wood Ian Hoodie мужская цвет серый с капюшоном с принтом 10135605.2424-GREYMEL](http://img2.ans-media.com/i/855x1290/AA00-BLM0G9-90X_F1.jpg?v=1683607944)
1%
2,699.00 грн.
Хлопковая кофта Wood Wood Ian Hoodie мужская цвет серый с капюшоном с принтом 10135605.2424-GREYMEL
answear.ua![Вход I2S/DSD для коаксиального волоконного выхода, коаксиальный выход DOP
Вход I2S/DSD для коаксиального волоконного выхода, коаксиальный выход DOP](http://ae04.alicdn.com/kf/Hd229ecb75afc48b1ad1adde3f122b2d1V.jpg)
+6%
1%
~ 1,740.00 грн.
Вход I2S/DSD для коаксиального волоконного выхода, коаксиальный выход DOP
aliexpress.ru![Миниатюрный стол 1:12 украшение для кукольного домика в спальню Сказочный пейзаж
Миниатюрный стол 1:12 украшение для кукольного домика в спальню Сказочный пейзаж](http://ae04.alicdn.com/kf/Sbed3e5dab40c4edea019a99e54c24ac8E.jpg)
+7%
1%
~ 315.00 грн.
Миниатюрный стол 1:12 украшение для кукольного домика в спальню Сказочный пейзаж
aliexpress.ru![1PCS Anti-Static Stainless Steel Tweezer Set Maintenance Repair Tool Kit Anti Static Model Making Tool Hand Tool Set
1PCS Anti-Static Stainless Steel Tweezer Set Maintenance Repair Tool Kit Anti Static Model Making Tool Hand Tool Set](http://ae04.alicdn.com/kf/S57689fdb762a470291bdaf68e2239354b.jpg)
+7%
1%
~ 69.00 грн.
1PCS Anti-Static Stainless Steel Tweezer Set Maintenance Repair Tool Kit Anti Static Model Making Tool Hand Tool Set
aliexpress.com![Бесплатная доставка, новинка 2023, модная женская вместительная сумка-ведро из натуральной воловьей кожи, сумка для покупок для женщин
Бесплатная доставка, новинка 2023, модная женская вместительная сумка-ведро из натуральной воловьей кожи, сумка для покупок для женщин](http://ae04.alicdn.com/kf/H2ad0186e554140fbb273dbfd4940d7b85.jpg)
+5%
1%
~ 2,550.00 грн.
Бесплатная доставка, новинка 2023, модная женская вместительная сумка-ведро из натуральной воловьей кожи, сумка для покупок для женщин
aliexpress.ru![Plus Size Casual Parkas 2019 Autumn Winter Women Clothing Fashion Loose Warm corduroy Quilted Coats K91-859
Plus Size Casual Parkas 2019 Autumn Winter Women Clothing Fashion Loose Warm corduroy Quilted Coats K91-859](http://ae01.alicdn.com/kf/H2413bb5b740e47318dbdd674c5c06bf7D/Plus-Size-Casual-Parkas-2019-Autumn-Winter-Women-Clothing-Fashion-Loose-Warm-corduroy-Quilted-Coats-K91.jpg)
+6%
1%
~ 1,340.00 грн.
Plus Size Casual Parkas 2019 Autumn Winter Women Clothing Fashion Loose Warm corduroy Quilted Coats K91-859
aliexpress.com![2022 Winter Coat Women New Fashion Loose Long Sleeve Warm Down Coat Vintage Harajuku Short Down Jacket
2022 Winter Coat Women New Fashion Loose Long Sleeve Warm Down Coat Vintage Harajuku Short Down Jacket](http://ae04.alicdn.com/kf/S785365469a714b71a67e7941c4c0d48dX.jpg)
+5%
1%
~ 2,180.00 грн.
2022 Winter Coat Women New Fashion Loose Long Sleeve Warm Down Coat Vintage Harajuku Short Down Jacket
aliexpress.com![Автомобильный Стайлинг, Светоотражающая наклейка на обод колеса для Ford EDGE Explorer EXPEDITION EVOS START C-MAX S-MAX B-MAX
Автомобильный Стайлинг, Светоотражающая наклейка на обод колеса для Ford EDGE Explorer EXPEDITION EVOS START C-MAX S-MAX B-MAX](http://ae04.alicdn.com/kf/HTB1BC7rKVXXXXXsXVXXq6xXFXXXK.jpg)
+6%
1%
~ 116.00 грн.
Автомобильный Стайлинг, Светоотражающая наклейка на обод колеса для Ford EDGE Explorer EXPEDITION EVOS START C-MAX S-MAX B-MAX
aliexpress.ru![Заводное радио USB перезаряжаемое солнечное радио мобильное зарядное устройство FM радио фотовспышка
Заводное радио USB перезаряжаемое солнечное радио мобильное зарядное устройство FM радио фотовспышка](http://ae01.alicdn.com/kf/Se4ca31f450e241b6ab20a5fa3e0f83ceH.jpg)
+2%
1%
~ 461.00 грн.
Заводное радио USB перезаряжаемое солнечное радио мобильное зарядное устройство FM радио фотовспышка
aliexpress.ru![TIMBERLAND Women Classic 10061 Red Embroidery Spring/Autumn Martin Boots,Woman Fashion High Top Solid Color Leather Ankle Shoes
TIMBERLAND Women Classic 10061 Red Embroidery Spring/Autumn Martin Boots,Woman Fashion High Top Solid Color Leather Ankle Shoes](http://ae01.alicdn.com/kf/HLB1.oHrXIrrK1RjSspaq6AREXXaE/TIMBERLAND-Women-Classic-10061-Red-Embroidery-Spring-Autumn-Martin-Boots-Woman-Fashion-High-Top-Solid-Color.jpg)
+6%
1%
~ 4,360.00 грн.
TIMBERLAND Women Classic 10061 Red Embroidery Spring/Autumn Martin Boots,Woman Fashion High Top Solid Color Leather Ankle Shoes
aliexpress.com![Original New THK linear bushing with Circular Flange LMIF LMIF13L LMIF13LUU linear bearing
Original New THK linear bushing with Circular Flange LMIF LMIF13L LMIF13LUU linear bearing](http://ae01.alicdn.com/kf/S841ae2859bf049768495ed45b1773dabF.png)
+4%
1%
~ 1,050.00 грн.
Original New THK linear bushing with Circular Flange LMIF LMIF13L LMIF13LUU linear bearing
aliexpress.com![Bolton Glory 5D микрофибра верхняя дорожная велосипедная обувь с одной ручкой
Bolton Glory 5D микрофибра верхняя дорожная велосипедная обувь с одной ручкой](http://ae04.alicdn.com/kf/S39c1a13b768c49c3810b8374bc924eacn.jpg)
+5%
1%
~ 14,580.00 грн.
Bolton Glory 5D микрофибра верхняя дорожная велосипедная обувь с одной ручкой
aliexpress.ru![Punk Vintage Stainless Steel Leather Bracelet For Men's 2018 Retro 8 Shaped Brown Wristband Bangles Jewellery Pulseira Masculina
Punk Vintage Stainless Steel Leather Bracelet For Men's 2018 Retro 8 Shaped Brown Wristband Bangles Jewellery Pulseira Masculina](http://ae01.alicdn.com/kf/HTB1HsgUXtfvK1RjSspoq6zfNpXab/Punk-Vintage-Stainless-Steel-Leather-Bracelet-For-Men-s-2018-Retro-8-Shaped-Brown-Wristband-Bangles.jpg)
+6%
1%
~ 203.00 грн.
Punk Vintage Stainless Steel Leather Bracelet For Men's 2018 Retro 8 Shaped Brown Wristband Bangles Jewellery Pulseira Masculina
aliexpress.com