Gå direkte til innholdet

Puslespill -20% »

Til startsiden
Logg inn
Søk etter din neste leseopplevelse
The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

1 001,-
Sendes innen 5-16 virkedager
All traditional implementation techniques for functional languages (mostly based on supercombinators, environments or continuations) 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 book, the first in 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.

Mer om Adlibris

Om Adlibris

Vi er Nordens største nettbokhandel, og tilbyr over 13 millioner boktitler og det meste av det beste innen spill, leker, hobby og garn. Vår misjon er å være en moderne bokhandel for alle bokelskere: et innbydende sted for lesing, læring og skaping. Det er hva som driver oss, hver dag. Adlibris er en del av Bonnier Group.

  • Alltid gode priser

  • Fri frakt over 299,-

  • Nordens største bokhandel

Meld deg på nyhetsbrev

Motta våre beste boktips, nyheter og gode tilbud. Registrer deg nå, og få 10% rabatt på det første kjøpet ditt. Tilbudet gjelder kun nye abonnenter og privatkunder. Rabatten gjelder ikke norske bøker utgitt 2024, fag- og studielitteratur, digitale bøker og gavekort.