{"product_id":"functional-programming-languages-and-computer-architecture-5th-acm-conference-cambridge-ma-usa-august-26-30-1991-proceedings-lecture-notes-in-computer-science-523-3540543961","title":"Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings (Lecture Notes in Computer Science, 523)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 3540543961\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Hughes, John\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eThis book offers a comprehensive view of the best and the latest work in functional programming. It is the proceedings of a major international conference and contains 30 papers selected from 126 submitted. A number of themes emerge. One is a growing interest in types: powerful type systems or type checkers supporting overloading, coercion, dynamic types, and incremental inference; linear types to optimize storage, and polymorphic types to optimize semantic analysis. The hot topic of partial evaluation is well represented: techniques for higher-order binding-time analysis, assuring termination of partial evaluation, and improving the residual programs a partial evaluator generates. The thorny problem of manipulating state in functional languages is addressed: one paper even argues that parallel programs with side-effects can be \"more declarative\" than purely functional ones. Theoretical work covers a new model of types based on projections, parametricity, a connection between strictness analysis and logic, and a discussion of efficient implementations of the lambda-calculus. The connection with computer architecture and a variety of other topics are also addressed.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51873142800672,"sku":"NEW3540543961","price":131.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/51-ywcgMKBL.jpg?v=1781716180","url":"https:\/\/miakarts.com\/products\/functional-programming-languages-and-computer-architecture-5th-acm-conference-cambridge-ma-usa-august-26-30-1991-proceedings-lecture-notes-in-computer-science-523-3540543961","provider":"Miakarts Books","version":"1.0","type":"link"}