John (Hrsg.) Hughes
Functional Programming Languages and Computer Architecture
5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
Buch
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…
Mehr
Beschreibung
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.
CHF 165.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-540-54396-1
- EAN: 9783540543961
- Produktnummer: 3257160
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1991
- Seitenangabe: 680 S.
- Masse: H24.2 cm x B16.5 cm x D2.9 cm 925 g
- Auflage: 1991
- Abbildungen: Paperback
- Gewicht: 925
47 weitere Werke von John (Hrsg.) Hughes:
5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
Ebook (PDF Format)
CHF 88.50
5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
Ebook (PDF Format)
CHF 103.00
5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
Ebook (EPUB Format)
CHF 27.70
5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
Ebook (EPUB Format)
CHF 21.90
5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
Ebook (EPUB Format)
CHF 15.45
5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
Ebook (PDF Format)
CHF 59.00
5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
Ebook (PDF Format)
CHF 59.00
5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
Ebook (PDF Format)
CHF 41.50
Bewertungen
0 von 0 Bewertungen
Anmelden
Keine Bewertungen gefunden. Seien Sie der Erste und teilen Sie Ihre Erkenntnisse mit anderen.