Choose an application

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

This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.

Functional programming languages --- Programming languages (Electronic computers) --- Computer science. --- Information theory. --- Logic design. --- Computer system performance. --- Programming Languages, Compilers, Interpreters. --- Theory of Computation. --- Programming Techniques. --- Logics and Meanings of Programs. --- System Performance and Evaluation. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Programming languages (Electronic computers). --- Computers. --- Computer programming. --- Computer logic. --- Computer system failures. --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Computer science logic --- Logic, Symbolic and mathematical --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Failures --- Programming --- Compilers (Computer programs). --- Electronic digital computers—Evaluation. --- Compilers and Interpreters. --- Computer Science Logic and Foundations of Programming. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Compilers (Computer programs)