Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Butterfield, Andrew (Επιμελητής έκδοσης), Grelck, Clemens (Επιμελητής έκδοσης), Huch, Frank (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4015
• Θέματα: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Logics and Meanings of Programs.

Πίνακας περιεχομένων:

• Contributions
• A Framework for Point-Free Program Transformation
• Encoding Strategies in the Lambda Calculus with Interaction Nets
• Proof Tool Support for Explicit Strictness
• A Rational Deconstruction of Landin’s J Operator
• A Dependently Typed Framework for Static Analysis of Program Execution Costs
• Accurate Step Counting
• The Implementation of iData
• A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell
• Polytypic Syntax Tree Operations
• Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences
• With-Loop Fusion for Data Locality and Parallelism
• A Document-Centered Environment for Haskell
• A Binding Scope Analysis for Generic Programs on Arrays.