The Optimal Implementation of Functional Programming Languages

By: Andrea Asperti, C. J. Van Rijsbergen (Editor), Samson Abramsky (Editor)

Write A Review

Hardcover | 1 February 1999

At a Glance

Hardcover
408 Pages

Dimensions(cm)
22.86 x 15.24 x 2.69

Hardcover

RRP $159.95

$142.99

11%OFF

or 4 interest-free payments of $35.75 with

Ships in 5 to 7 business days

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 Levy 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $49.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Computer Science Mathematical Theory of Computation

Introduction
Optimal reduction
The full algorithm
Optimal reductions and linear logic
Zig-zag
Paths
Read-back
Other translations in sharing graphs
Safe nodes
Complexity
Functional programming
Source language
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

The Optimal Implementation of Functional Programming Languages

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Python Data Analysis - Fourth Edition

Master Python Analytics with Machine Learning, Deep Learning, GenAI, LLMs, and Data Engineering

Building AI-Powered Apps with Angular

Hands-on guide to creating agentic Angular apps with Google AI and Gemini models

Microsoft Foundry in Action

A practical guide to building, monitoring, and governing AI applications using Microsoft's unified AI development platform

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Learning Generative AI Tools for Excel

Speed Up Your Everyday Tasks with Microsoft Excel, Copilot, ChatGPT, and Beyond

Learning Go

An Idiomatic Approach to Real-World Go Programming

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Design Patterns

Elements of Reusable Object-Oriented Software

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Python All-in-One For Dummies

3rd Edition

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Swift

The Practical Guide

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Head First Python

3rd Edition - A Learner's Guide to the Fundamentals of Python Programming, a Brain-Friendly Guide

The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide

Collector's Edition

Agile Project Management For Dummies

For Dummies (Business & Personal Finance)

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Building Microservices

Designing Fine-Grained Systems 2nd Edition

This product is categorised by