Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002365427/catalog> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- catalog abstract ""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 or type checkers supporting overloading, coercion, dynamic types, 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 in functional languages is addressed: one paper even argues that parallel programs with side-effects can be "more declarative" than purely functional ones. Theoretical work covers a new model of types based on projections, parametricity, a connection between strictness analysis and logic, and a discussion of efficient implementations of the lambda-calculus. The connection with computer architecture and a variety of other topics are also addressed."--PUBLISHER'S WEBSITE.".
- catalog contributor b3402797.
- catalog contributor b3402798.
- catalog contributor b3402799.
- catalog created "c1991.".
- catalog date "1991".
- catalog date "c1991.".
- catalog dateCopyrighted "c1991.".
- catalog description ""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 or type checkers supporting overloading, coercion, dynamic types, 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 in functional languages is addressed: one paper even argues that parallel programs with side-effects can be "more declarative" than purely functional ones. Theoretical work covers a new model of types based on projections, parametricity, a connection between strictness analysis and logic, and a discussion of efficient implementations of the lambda-calculus. The connection with computer architecture and a variety of other topics are also addressed."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references (pages 665-666).".
- catalog extent "viii, 666 p. :".
- catalog hasFormat "Functional programming languages and computer architecture.".
- catalog identifier "0387543961 (U.S. : alk. paper)".
- catalog isFormatOf "Functional programming languages and computer architecture.".
- catalog isPartOf "Lecture notes in computer science ; 523".
- catalog issued "1991".
- catalog issued "c1991.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Functional programming languages and computer architecture.".
- catalog subject "005.13 20".
- catalog subject "Computer architecture Congresses.".
- catalog subject "Functional programming languages Congresses.".
- catalog subject "QA76.7 .F84 1991".
- catalog title "Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 1991 : proceedings / J. Hughes (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".