Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Functional programming languages --- Langages de programmation fonctionnels --- Functional programming languages.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

COMMON LISP (Computer program language) --- Object-oriented programming (Computer science) --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Functional programming languages --- Object-oriented programming languages --- Programmation orientée objets (informatique) --- Common LISP (langage de programmation) --- Programmation orientée objets (informatique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Computer architecture --- -Functional programming languages --- -681.3*C0 --- 681.3*D11 --- 681.3*D31 --- 681.3*D34 --- Programming languages (Electronic computers) --- Architecture, Computer --- Congresses --- Computerwetenschap--?*C0 --- Applicative (functional) programming --- 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} --- Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 681.3*D34 Processors: code generation; compilers; interpreters; optimization; parsing; preprocessors; run-time environments; translator writing systems and compilergenerators (Programming languages) --- 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} --- 681.3*D11 Applicative (functional) programming --- Functional programming languages --- 681.3*C0 --- Functional programming languages - Congresses. --- Computer architecture - Congresses. --- Computer network architectures. --- Computer science. --- Logic design. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Processor Architectures. --- Programming Techniques. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer