Verlag: Association for Computing Machinery, 1998
ISBN 10: 1581130074 ISBN 13: 9781581130072
Sprache: Englisch
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
EUR 5,72
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. *FREE DOMESTIC SHIPPING until Monday, June 30* 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.
Anbieter: BookHolders, Towson, MD, USA
EUR 33,66
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 61,27
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GuthrieBooks, Spring Branch, TX, USA
EUR 37,02
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Ex-library paperback in nice condition with the usual markings and attachments.
Verlag: Springer Berlin Heidelberg, 1991
ISBN 10: 3540543961 ISBN 13: 9783540543961
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 52,73
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 117,70
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 102,99
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.