Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages, IFL 2006, held in Budapest, Hungary, in September 2006. The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 40 workshop presentations. The papers address all current theoretical and methodological issues on functional and function-based languages such as language concepts, concurrent/parallel programming, type checking, concurrent/parallel program execution, compilation techniques, heap management, generic programming techniques, runtime profiling, (abstract) interpretation, performance measurements, automatic program generation, debugging and tracing, (abstract) machine architectures, verification, formal aspects, tools and programming techniques, array processing and demos of well working, useable tools and applications in functional languages.