Shop

Compiling Lambda Calculus

eBook (PDF), 167 Pages
This item has not been rated yet
Price: $22.50
This book introduces the theory and interpretation of lambda calculus. It first describes lambda calculus as a formal term rewriting system and outlines some simple applications, like Church numerals, the Y combinator, etc. The next part of the book defines and implements a tiny subset of the Scheme programming language and then extends it iteratively until it can be used as the basis for a real-world implementation. This part covers two models of interpretation as well as the transformation of lambda calculus to abstract machine code and portable C code. The final part of the book explores a language that resembles lambda calculus more closely, by supporting partial function application. The compilers and languages introduced in the book are implemented in Scheme and provided under the Creative Commons Zero license (a.k.a. Public Domain). Intended audience: compiler writers and everyone interested in the theoretical background of LISPy languages.
Available in PDF Format

Ratings & Reviews

Log in to review this item
Lulu Sales Rank: 90178
There are no reviews for the current version of this product
Refreshing...
There are no reviews for previous versions of this product
Refreshing...

Product Details

Published
November 22, 2016
Language
English
Pages
167
File Format
PDF
File Size
443.83 KB

Formats for this Ebook

PDF
Required Software Any PDF Reader, Apple Preview
Supported Devices Windows PC/PocketPC, Mac OS, Linux OS, Apple iPhone/iPod Touch... (See More)
# of Devices Unlimited
Flowing Text / Pages Pages
Printable? Yes
Report This Content to Lulu >

Moderation of Questionable Content

Thank you for your interest in helping us moderate questionable content on Lulu. If you need assistance with an order or the publishing process, please contact our support team directly.

How does this content violate the Lulu Membership Agreement?

Keywords

Listed In

More From Nils M Holm