|
|
libcats.org
Implementation of Functional Languages, 13 conf., IFL 2002 StockholmThomas Arts, Markus MohnenThis 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.
Скачать книгу бесплатно (pdf, 1.26 Mb)
Читать «Implementation of Functional Languages, 13 conf., IFL 2002 Stockholm» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Самолет Бе-200ЧС. Самолет-амфибия Бе-200ЧС. А201.0000.000 РЛЭ-1. Руководство по летной эксплуатацииАвтор:Категория: Военная техника
Размер книги: 10.39 Mb
Quantum Field Theory in Curved Spacetime: Quantized Fields and Gravity (Cambridge Monographs on Mathematical Physics)Автор: Leonard Parker, Автор: David Toms
Размер книги: 4.90 Mb
Differential geometry and the calculus of variations (Mathematics in science and engineering volume 49)Автор: Robert HermannКатегория: Математика, Геометрия и топология
Размер книги: 5.42 Mb
Общая и неотложная хирургияАвтор: [Файсал Аббасакур и др.] ; под ред. Саймона Патерсон-Брауна ; пер. с англ. под ред. В. К. Гостищева;Файсал Аббасакур; Патерсон-Браун, Автор: Саймон;ред.
Размер книги: 10.66 Mb
|
|
|