Kontakt
Jak kupować
Dostawa
Doradca ds. zakupów
Functional Programming Languages and Computer Architecture
5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991. Proceedings
Angielski
249 b
Nawet do 30 dni na zwrot
Klienci kupili także
/
Miękka
261.97
zł
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.
Informacje o książce
Angielski
Kategoria
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanegoMogłoby Cię także zainteresować
/
Miękka
44.63
zł
/
Twarda
1 398.46
zł
Cześć! Jestem Libroamiko, Twój doradca książkowy.
Jak mogę Ci pomóc?