везде Расширенный поиск
книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

System F

Код 1132721

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "System F"

High Quality Content by WIKIPEDIA articles! System F, also known as the (Girard-Reynolds) polymorphic lambda calculus or the second-order lambda calculus, is a typed lambda calculus that differs from the simply typed lambda calculus by the introduction of a mechanism of universal quantification over types. System F thus formalizes the notion of parametric polymorphism in programming languages, and forms a theoretical basis for languages such as Haskell and ML. System F was discovered...

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1312-4187-1
Объём: 104 страниц
Масса: 178 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

-7%
Русский рок. Новая Эра. Фотографии. Интервью. Документы
Русский рок. Новая Эра. Фотографии. Интервью.... бумажная книга
Джоанна Стингрей
22.44 USD 20.87 USD
В корзину
Йога между делом. В пробке, на работе, в самолете
Йога между делом. В пробке, на работе, в самолете бумажная книга
Кристин Чен
Нет в продаже
Уж замуж невтерпеж. Руководство по интернет - знакомствам для принцесс любого возраста
Уж замуж невтерпеж. Руководство по интернет -... бумажная книга
Анна Стручкова
2.18 USD
В корзину
Прелесть. Книга вторая
Прелесть. Книга вторая бумажная книга
Джереми Хон
Нет в продаже
Поиск и оценка линейного персонала: Повышение эффективности и снижение затрат
Поиск и оценка линейного персонала: Повышение... бумажная книга
Светлана Иванова
Нет в продаже
Боба нет
Боба нет бумажная книга
Мег Розофф
9.63 USD
В корзину

Просмотренные товары