Functional Programming Languages and Computer Architecture

Name: Functional Programming Languages and Computer Architecture
Brand: Springer, Berlin
SKU: 9783540543961
Price: 553.26 RON
Availability: InStock

5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991. Proceedings

Autor: John Hughes

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

553.26 lei

This book offers a comprehensive view of the best and the latest work in functional programming. It...

Informații despre carte

Autor

John Hughes

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1991

Pagini

672

EAN

9783540543961

ISBN

3540543961

Enbook ID

02092601

Editura

Springer, Berlin

Greutate

914

Dimensiuni

155 x 235 x 34

Descriere completă

This 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 ortype checkers supporting overloading, coercion, dynamictypes, 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 infunctional languages is addressed: one paper even argues that 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 and logic, and a discussion of efficient implementations of thelambda-calculus. The connection with computer architecture and a variety of other topics are also addressed.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Functional Programming Languages and Computer Architecture

5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991. Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și