{"product_id":"functional-programming-languages-and-computer-architecture-proceedings-nancy-france-september-16-19-1985-von-jean-pierre-jouannaud-hrsg","title":"Functional Programming Languages and Computer Architecture","description":"\u003cp\u003eMiranda: A non-strict functional language with polymorphic types.- Data flow graph optimization in if1.- Strictness analysis ¿ a practical approach.- The categorical abstract machine.- High order programming in extended FP.- Secd-m: a virtual machine for applicative programming.- Cobweb ¿ A combinator reduction architecture.- How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages.- Lazy memo-functions.- An architecture for fast data movement in the FFP machine.- An architecture that efficiently updates associative aggregates in applicative programming languages.- Lambda lifting: Transforming programs to recursive equations.- Optimizing almost-tail-recursive prolog programs.- Designing regular array architectures using higher order functions.-     $$v\\mathcal{F}\\mathcal{P}$$  : An environment for the multi-level specification, analysis, and synthesis of hardware algorithms.- A distributed garbage collection algorithm.- Cyclic reference counting for combinator machines.- Design for a multiprocessing heap with on-board reference counting.- A functional language and modular architecture for scientific computing.- Practical polymorphism.- Program verification in a logical theory of constructions.- Transforming recursive programs for execution on parallel machines.- Compiling pattern matching.- Serial combinators: \"optimal\" grains of parallelism.- The G-machine: A fast, graph-reduction evaluator.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540159759\"\u003e\u003ch3\u003eProceedings, Nancy, France, September 16-19, 1985\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540159759","offer_id":39436016386141,"sku":"9783540159759","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/1cac4a71-c134-4bfe-b119-b5e998ab505d.jpg?v=1773553145","url":"https:\/\/shop.autorenwelt.de\/products\/functional-programming-languages-and-computer-architecture-proceedings-nancy-france-september-16-19-1985-von-jean-pierre-jouannaud-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}