{"product_id":"compiling-lambda-calculus","title":"Compiling Lambda Calculus","description":"\u003cp\u003eThis book introduces the reader to the theory and interpretation of lambda calculus.\u003c\/p\u003e\n\n\u003cp\u003eIt first describes lambda calculus as a formal term rewriting system and outlines some simple applications, like Church numerals, the Y combinator, etc.\u003cbr\u003e\n         \u003cbr\u003e\nThe 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.\u003cbr\u003e\n   \u003cbr\u003e\nThis part covers two models of interpretation as well as the transformation of lambda calculus to abstract machine code and portable C code.\u003cbr\u003e\n         \u003cbr\u003e\nThe final part of the book explores a language that resembles lambda calculus more closely, by supporting partial function application.\u003cbr\u003e\n   \u003cbr\u003e\nThe compilers and languages introduced in the book are implemented in Scheme and provided under the Creative Commons Zero license (a.k.a. Public Domain). \u003cbr\u003e\n   \u003cbr\u003e\nIntended audience: compiler writers and everyone interested in the theoretical background of LISPy languages.\u003c\/p\u003e","brand":"Nils M Holm","offers":[{"title":"Paperback","offer_id":44261772984481,"sku":"9781111144126","price":52.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0462\/1120\/3233\/files\/1kmp5g6j-front-shortedge-384.jpg?v=1748623415","url":"https:\/\/bookswholesale.myshopify.com\/products\/compiling-lambda-calculus","provider":"BooksWholesale","version":"1.0","type":"link"}