TY - BOOK ID - 2422230 TI - Functional programming languages and computer architecture. 5th ACM conference, Cambridge, MA, USA, August 1991. Proceedings PY - 1991 VL - vol 523 SN - 0387543961 3540543961 3540475990 PB - Berlin : Springer-Verlag, DB - UniCat KW - Computer architecture KW - -Functional programming languages KW - -681.3*C0 KW - 681.3*D11 KW - 681.3*D31 KW - 681.3*D34 KW - Programming languages (Electronic computers) KW - Architecture, Computer KW - Congresses KW - Computerwetenschap--?*C0 KW - Applicative (functional) programming KW - Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} KW - Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) KW - 681.3*D34 Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) KW - 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} KW - 681.3*D11 Applicative (functional) programming KW - Functional programming languages KW - 681.3*C0 KW - Functional programming languages - Congresses. KW - Computer architecture - Congresses. KW - Computer network architectures. KW - Computer science. KW - Logic design. KW - Computer System Implementation. KW - Programming Languages, Compilers, Interpreters. KW - Processor Architectures. KW - Programming Techniques. KW - Logics and Meanings of Programs. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Informatics KW - Science KW - Architectures, Computer network KW - Network architectures, Computer UR - https://www.unicat.be/uniCat?func=search&query=sysid:2422230 AB - 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. ER -