ebook img

The optimal implementation of functional programming languages PDF

403 Pages·1999·3.376 MB·English
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview The optimal implementation of functional programming languages

Description:
All 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.
See more

The list of books you might like

book image

Corrupt (Devil's Night #1)

Penelope Douglas
·518 Pages
·2015
·0.74 MB

book image

The Strength In Our Scars

Bianca Sparacino
·2018
·0.17 MB

book image

Better Than the Movies

Lynn Painter
·2021
·1.51 MB

book image

The 48 Laws of Power

Robert Greene
·1998
·2.84 MB

book image

West Knits Book Three

Stephen West
·56 Pages
·2010
·3.375 MB

book image

Avertissements Agricoles - Grandes cultures - Centre - 1993 - 8

Service Régional de Protection des Végétaux, Groupements de Défense contre les Organismes Nuisibles
·5 Pages
·1993
·2.3 MB

book image

Avertissements Agricoles - Grandes cultures - Centre - 1993 - 3

Service Régional de Protection des Végétaux, Groupements de Défense contre les Organismes Nuisibles
·4 Pages
·1993
·1.5 MB

book image

GEKI_ Kekkei-ffnet_11901281

8 Pages
·2021
·0.02 MB

book image

ABS Census 1991, Census Characteristics Of Tasmania

Australian Bureau of Statistics
·102 Pages
·1993
·3.4 MB

book image

webEdition User Guide PLUS

510 Pages
·2006
·14.57 MB

book image

campania primaria

370 Pages
·2016
·0.68 MB

book image

Campanula-Geum

30 Pages
·2016
·14.2 MB

book image

cond-mat0409424

14 Pages
·2021
·0.19 MB

book image

Light & Shadow

Corbell, Tony
·2015
·23.119 MB

book image

2 Batteries & Lighting

Ephraim Rosenstock
·98 Pages
·2008
·7.87 MB