|
|
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
Только что пользователи скачали эти книги:
Иллюстрированный самоучитель по Pinnacle Studio 9Автор:Категория: Pinnacle Studio
Размер книги: 22.42 Mb
El anti-Edipo / Anti-OedipusАвтор: Gilles Deleuze, Автор: F‚lix GuattariКатегория: Philosophy
Размер книги: 2.34 Mb
Enhancing Urban Environment by Environmental Upgrading and Restoration: Proceedings of the NATO ARW on Enhancing Urban Environment: Environmental Upgrading ... IV: Earth and Environmental Sciences)Автор: Jiri Marsalek, Автор: Daniel Sztruhar, Автор: Mario Giulianelli, Автор: Ben UrbonasКатегория: Геология
Размер книги: 9.66 Mb
Українська революція. Розвідки і матеріали. Книга 4. Замітки і матеріали до історії української революції 1917-20 рр.. .Том ІV.Автор: Христюк П.Категория: Історія
Размер книги: 4.44 Mb
Защита декоративных растений от вредителей и болезней.Автор: Олисевич Г.П., Автор: Проценко Е.П.
Размер книги: 2.37 Mb
|
|
|