Choose an application

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

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows: types, compiling, parallelism and distribution, data structures, and miscellaneous.

Logic --- Computer science --- Programming --- ontwerpen --- programmeren (informatica) --- database management --- programmeertalen --- programmatielogica

Choose an application

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

This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.

Logic --- Complex analysis --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- complexe analyse (wiskunde) --- informatica --- ontwerpen --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen --- software engineering

Choose an application

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

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in this area. The topical sections the papers are organized in are named as follows: types, compiling, parallelism and distribution, data structures, and miscellaneous.

Functional programming (Computer science) --- Logic design --- Data structures (Computer science) --- Engineering & Applied Sciences --- Computer Science --- Computer programs --- Information Technology --- Computer Science (Hardware & Networks) --- Design, Logic --- Design of logic systems --- Computer science. --- Computer programming. --- Programming languages (Electronic computers). --- Data structures (Computer science). --- Computer logic. --- Computer Science. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Data Structures. --- Logics and Meanings of Programs. --- Computer science logic --- Logic, Symbolic and mathematical --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Data structures (Computer scienc. --- Logic design. --- Compilers (Computer programs). --- Artificial intelligence—Data processing. --- Compilers and Interpreters. --- Data Science. --- Computer Science Logic and Foundations of Programming. --- Compiling programs (Computer programs) --- Programming software --- Systems software