
The Optimal Implementation of Functional Programming Languages
1 101 kr
1 101 kr
På lager
On., 2 april - ti., 8 april
Sikker betaling
14 dagers åpent kjøp
Selges og leveres av
Adlibris
Produktbeskrivelse
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.
Artikkel nr.
b8b7327c-6dd4-4967-8419-f37e382528f9
The Optimal Implementation of Functional Programming Languages
1 101 kr
1 101 kr
På lager
On., 2 april - ti., 8 april
Sikker betaling
14 dagers åpent kjøp
Selges og leveres av
Adlibris
Lignende toppselgere

INF
INF Øreputer for Bose QC35 I/II, QC25, QC15, QC 2 AE 2, AE 2i, AE 2w, SoundTrue, SoundLink
99 kr
Tidligere laveste pris:
126 kr
4,6
torsdag, 13 mars

Le Mans 66 (4K Ultra HD + Blu-ray)
279 kr
4,4
torsdag, 13 mars

Generic
Øreputer for Bose QuietComfort - QC35/QC25/QC15/AE2 Hodetelefoner Svart
99 kr
4,5
fredag, 14 mars

Generic
Fidget Spinners med Sugekopp for Barn
199 kr
4,6
fredag, 14 mars

INF
INF Etterfilter til Dyson V11 / V15 akselstøvsuger 3-pakning
229 kr
Tidligere laveste pris:
409 kr
3,8
onsdag, 12 mars

INF
INF Støydempende og lydisolerende ørepropper med krok
119 kr
Tidligere laveste pris:
137 kr
5,0
torsdag, 13 mars

Bigstren
Luftrenseenhet - Renser / Saniterer luften - 20,000 mg/h
599 kr
Tidligere laveste pris:
699 kr
4,4
fredag, 14 mars

Generic
RCA til HDMI Converter 1080p - Adapter
129 kr
4,4
fredag, 14 mars

Megabilligt
Galaxy Lamp - Nebula Star -projektoren med fjernkontroll
499 kr
Tidligere laveste pris:
909 kr
3,7
fredag, 14 mars

Northix
Vibrerende treningsplattform med tilbehør
1 599 kr
Tidligere laveste pris:
1 719 kr
4,9
tirsdag, 11 mars
Anbefalinger til dig

KIRKLAND
6x60ml = 360ml - Kirkland Extra Strength 5% Men Hair Regrowth 60ml Hair Loss
1 290 kr
5,0
torsdag, 13 mars

INF
INF Stylus Pen kompatibel med iPad 2018-2023-serien HvitiPad
196 kr
Tidligere laveste pris:
268 kr
4,1
torsdag, 13 mars

Odin
Titan Silikon Til Tredemølle 100ml
149 kr
3,6
torsdag, 13 mars

INF
INF SCART til HDMI-omformer 1080p
129 kr
Tidligere laveste pris:
149 kr
3,7
torsdag, 13 mars

INF
INF Lydisolerende ørepropper Gull
113 kr
Tidligere laveste pris:
137 kr
3,2
torsdag, 13 mars

INF
Hetter til øreplugger (AirPods Pro) i 3 størrelser
79 kr
Tidligere laveste pris:
97 kr
3,6
mandag, 24 mars

INF
INF Tilbehørssett for Xiaomi Roborock E4, S5, S50, S51, S55 11 deler, 2 hovedbørster, 4 sidebørster,4 filter,1 børster
175 kr
Tidligere laveste pris:
209 kr
4,2
onsdag, 12 mars

Sero
SERO Apple Macbook magsafe 2 lader, 60W - for Macbook Pro 13" m. Retina skjerm
349 kr
4,2
tirsdag, 11 mars

MTK
D03 for AirPods Pro erstatningsladeveske Innebygd 680mAh batteri
555 kr
3,9
torsdag, 20 mars

INF
INF Sovehette i satin, 2-pakning Flerfarget
99 kr
Tidligere laveste pris:
114 kr
3,5
torsdag, 13 mars