|
|
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
Только что пользователи скачали эти книги:
О всемирной любви (Речь Ф М Достоевского на пушкинском празднике)Автор: Леонтьев К НКатегория: Публицистика
Размер книги: 85 Kb
Тренинг управления персоналомАвтор: Бакирова Г. X.Категория: Психология, философия
Размер книги: 2.35 Mb
Algebra and Trigonometry (3rd Edition)Автор: Judith A. Beecher, Автор: Judith A. Penna, Автор: Marvin L. Bittinger
Размер книги: 14.14 Mb
Trust and Privacy in Digital Business: Third International Conference, TrustBus 2006, Krakow, Poland, September 4-8, 2006, ProceedingsАвтор: Simone Fischer-Hübner, Автор: Steven Furnell, Автор: Costas Lambrinoudakis
Размер книги: 4.85 Mb
Grammatik der Tigriñasprache in Abessinien, hauptsächlich in der Gegend von Aksum und AdoaАвтор: Franz Praetorius
Размер книги: 15.33 Mb
The Confidential Life of Eugenia Cooper: Woman of the WestАвтор: Y'Barbo KathleenКатегория: fiction
Размер книги: 2.46 Mb
|
|
|