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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

The Meme Machine

Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Громкое мгновение

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

The New Crusades: Constructing the Muslim Enemy

Автор: , Автор:
Категория: Politics_Sociology
Размер книги: 1.68 Mb

Consolation in Philippians: Philosophical Sources and Rhetorical Strategy

Автор:
Категория: Philosophy
Размер книги: 1021 Kb

Buttercream Bump Off

Автор:
Категория: fiction
Размер книги: 481 Kb

Birds of Prey

Автор: , Автор:
Категория: fiction
Размер книги: 653 Kb

Sühnetag

Автор:
Категория: fiction
Размер книги: 899 Kb