Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Grelck, Clemens (Editor), Huch, Frank (Editor), Michaelson, Greg J. (Editor), Trinder, Phil (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3474
• Subjects: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Logics and Meanings of Programs.

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8–10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Tec...

Table of Contents:

• Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
• The Feasibility of Interactively Probing Quiescent Properties of GUI Applications
• A Functional Programming Technique for Forms in Graphical User Interfaces
• A Rational Deconstruction of Landin’s SECD Machine
• Explaining ML Type Errors by Data Flows
• V?M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions
• A Virtual Machine for Functional Logic Computations
• Source-Based Trace Exploration
• Shrinking Reductions in SML.NET
• Dynamic Construction of Generic Functions
• Reasoning About Deterministic Concurrent Functional I/O
• General Homomorphic Overloading
• Simple, Effective Code-Size Reduction for Functional Programs.