Editore: Association for Computing Machinery, 1998
ISBN 10: 1581130074 ISBN 13: 9781581130072
Lingua: Inglese
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
EUR 4,00
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. *Price HAS BEEN REDUCED by 10% until Monday, May 5 (SALE ITEM)* 160 pp., Hardcover, ex library, rebound in buckram, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Da: BookHolders, Towson, MD, U.S.A.
EUR 35,07
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: 97 ] Publisher: Springer Pub Date: 8/10/1997 Binding: Paperback Pages: 552 97 edition.
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
EUR 38,44
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in nice condition with the usual markings and attachments.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 54,71
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 61,56
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 106,85
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 118,26
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Editore: Springer Berlin Heidelberg, 1991
ISBN 10: 3540543961 ISBN 13: 9783540543961
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 106,99
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers a comprehensive view of the best and thelatest work in functional programming. It is the proceedingsof a major international conference and contains 30 papersselected from 126 submitted. A number of themes emerge. Oneis a growing interest in types: powerful type systems ortype checkers supporting overloading, coercion, dynamictypes, and incremental inference; linear types to optimizestorage, and polymorphic types to optimize semanticanalysis. The hot topic of partial evaluation is wellrepresented: techniques for higher-order binding-timeanalysis, assuring termination of partial evaluation, andimproving the residual programs a partial evaluatorgenerates. The thorny problem of manipulating state infunctional languages is addressed: one paper even arguesthat parallel programs with side-effects can be 'moredeclarative' than purely functional ones. Theoretical workcovers a new model of types based on projections,parametricity, a connection between strictness analysis andlogic, and a discussion of efficient implementations of thelambda-calculus. The connection with computer architectureand a variety of other topics are also addressed.