{"product_id":"9783540543961","title":"Lecture Notes in Computer Science: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings\u003c\/h1\u003e \u003ch2\u003eHughes, John\u003c\/h2\u003e \u003cp\u003eThis 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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1991-08-07\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540543961\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-54396-1\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 672\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45372958113932,"sku":"9783540543961","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540543961.jpg?v=1773972893","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540543961","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}