|
|
libcats.org
Functional and Logic Programming, 9 conf., FLOPS 2008Jacques Garrigue, Manuel HermenegildoThis book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008, held in Ise, Japan, in April 2008. The 20 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 59 submissions. The papers are organized in topical sections on constraints, constructive arithmetic, dependent types, rewriting, program transformation, logic and lambda-calculus, types, and debugging.
Скачать книгу бесплатно (pdf, 4.86 Mb)
Читать «Functional and Logic Programming, 9 conf., FLOPS 2008» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Elementary surveying. An introduction to geomaticsАвтор: Ghilani C.D., Автор: Wolf P.R.Категория: P_Physics, PGp_Geophysics
Размер книги: 43.64 Mb
Только что пользователи скачали эти книги:
Date. An Introduction to Database SystemsАвтор: C.J. DateКатегория: Компьютерные науки
Размер книги: 26.84 Mb
Longman Grammar of Spoken and Written EnglishАвтор: Douglas Biber, Автор: Stig Johansson, Автор: Geoffrey Leech, Автор: Susan Conrad, Автор: Edward FineganКатегория: Иностранные языки
Размер книги: 60.15 Mb
Основы технологии производства газотурбинных двигателей : Учеб. для вузов по специальности "Авиац. двигатели и энергет. установки"Автор: Сулима, Автор: Андрей Михайлович;Носков, Автор: Анатолий Алексеевич; Серебренников, Автор: Геннадий Зиновьевич;авт.; авт.
Размер книги: 8.16 Mb
Earth and Sky Every Child Should KnowАвтор: Rogers Julia EllenКатегория: fiction
Размер книги: 2.05 Mb
|
|
|