Implementation and application of functional languages

InhaltsverzeichnisContributions.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.