libcats.org
Главная

Implementation of Functional Languages, 13 conf., IFL 2002 Stockholm

Обложка книги Implementation of Functional Languages, 13 conf., IFL 2002 Stockholm

Implementation of Functional Languages, 13 conf., IFL 2002 Stockholm

,
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL 2001, held in Stockholm, Sweden in September 2001. The eleven revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 28 workshop papers. Among the topics covered are relevant aspects of implementing and using functional languages, such as type systems, compilation, program optimization, theorem proving, program correctness, program analysis, parallel compilers, subtyping, and generic programming.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Каникулы

Автор:
Размер книги: 13 Kb

Очищение

Автор:
Категория: История
Размер книги: 602 Kb

Ремонт импортных телевизоров

Автор: , Автор:
Категория: civil, civil, hardware
Размер книги: 5.24 Mb

C Primer Plus

Автор:
Категория: COmputer & Programming
Размер книги: 7.40 Mb

Быль-сказка о карандашах и красках

Автор:
Категория: Children
Размер книги: 5.81 Mb

The Ultimate Guide to Video Game Writing and Design

Автор:
Размер книги: 1.88 Mb

Mein Kampf

Автор:
Категория: fiction
Размер книги: 701 Kb
Только что пользователи скачали эти книги:

Китайская кухня

Автор: , Автор:
Категория: house, house, cook
Размер книги: 4.83 Mb

ونفس وما سواها

Автор:
Размер книги: 10.19 Mb

Geschichte des Strukturalismus. Band 1: Das Feld des Zeichens, 1945-1966

Автор:
Категория: История
Размер книги: 7.84 Mb