{"product_id":"functional-programming-languages-and-computer-architecture-5th-acm-conference-cambridge-ma-usa-august-26-30-1991-proceedings-von-john-hughes-hrsg","title":"Functional Programming Languages and Computer Architecture","description":"This book offers a comprehensive view of the best and the\nlatest work in    functional programming. It is the proceedings\nof a major international      conference and contains 30 papers\nselected from 126 submitted. A number of  themes emerge. One\nis a growing interest in types: powerful type systems    or\ntype checkers supporting overloading, coercion, dynamic\ntypes, and   incremental inference; linear types to optimize\nstorage, and polymorphic    types to optimize semantic\nanalysis. The hot topic of partial evaluation is well\nrepresented: techniques for higher-order binding-time\nanalysis,    assuring termination of partial evaluation, and\nimproving the residual      programs a partial evaluator\ngenerates. The thorny problem of manipulating  state in\nfunctional languages is addressed: one paper even argues\nthat  parallel programs with side-effects can be \"more\ndeclarative\" than purely   functional ones. Theoretical work\ncovers a new model of types based on      projections,\nparametricity, a connection between strictness analysis        and\nlogic, and a discussion of efficient implementations of                 the\nlambda-calculus. The connection with computer architecture\nand a    variety of other topics are also addressed.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540543961\"\u003e\u003ch3\u003e5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540543961","offer_id":39426001993821,"sku":"9783540543961","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/09c64b9e-1c02-4b0f-9587-5006ac1dbcdb.jpg?v=1773553349","url":"https:\/\/shop.autorenwelt.de\/en\/products\/functional-programming-languages-and-computer-architecture-5th-acm-conference-cambridge-ma-usa-august-26-30-1991-proceedings-von-john-hughes-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}