|
|
libcats.org
Trends in Functional ProgrammingHans-Wolfgang LoidlThis book presents latest research developments in the area of functional programming. The contributions, in this volume, cover a wide range of topics from theory, formal aspects of functional programming, graphics and visual programming to distributed computing and compiler design. As is often the case in this community, the most prolific work comes out of the combination of theoretical work with its application on classical problems in computer science. Particular trends in this volume are: reasoning about functional programs; automated theorem proving for high-level programming languages; and, language support for concurrency and distribution. The "TFP" series is dedicated to promoting new research directions related to the field of functional programming and to investigate the relationships of functional programming with other branches of computer science. It is designed to be a platform for novel and upcoming research.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Современный Румынский детективАвтор: Зинкэ Хараламб, Автор: Сэлкудяну Петре, Автор: Штефэнеску НиколаеКатегория: Детектив
Размер книги: 3.28 Mb
The OECD Convention on Bribery: A CommentaryАвтор: Mark Pieth, Автор: Lucinda A. Low, Автор: Peter J. CullenКатегория: Philosophy
Размер книги: 4.38 Mb
SPARK:: A Parallelizing Approach to the High-Level Synthesis of Digital CircuitsАвтор: Sumit Gupta, Автор: Rajesh Gupta, Автор: Nikil Dutt, Автор: Alexandru Nicolau
Размер книги: 10.54 Mb
Fundamentals of Body CT (3rd Edition)Автор: W. Richard Webb, Автор: William Brant, Автор: Nancy Major
Размер книги: 50.88 Mb
The Comingled Code: Open Source and Economic DevelopmentАвтор: Josh Lerner, Автор: Mark Schankerman
Размер книги: 2.35 Mb
|
|
|