|
|
libcats.org
The optimal implementation of functional programming languagesAndrea Asperti, Stefano GuerriniAll traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem. This work, the first on the subject, is a comprehensive account by two of its leading exponents. Practical implementation aspects are fully covered as are the mathematical underpinnings of the subject. The relationship to the pioneering work of Lévy and to Girard's more recent "Geometry of Interaction" are explored; optimal reduction is thereby revealed as a prime example of how a beautiful mathematical theory can lead to practical benefit. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers in lambda calculus, functional programming or linear logic.
Скачать книгу бесплатно (pdf, 3.38 Mb)
Читать «The optimal implementation of functional programming languages» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Вселенная шаманаАвтор: Шумин Андрей, Автор: Сляднев СергейКатегория: Эзотерика
Размер книги: 109 Kb
History of the Jesuits - Their Origin, Progress, Doctrines, and DesignsАвтор: Giovanni B. Nicolini
Размер книги: 15.01 Mb
Математические уравнения в геофизике: Учебно-методическое пособие к лабораторным работамАвтор: Груздев В.Н.
Размер книги: 407 Kb
Kijkjes in een mooi werk over ChiliАвтор: Robinson Wright MarieКатегория: fiction
Размер книги: 690 Kb
|
|
|