×
![]( "Buchcover ISBN 9783540691754")
Implementation and Application of Functional Languages
17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
herausgegeben von Andrew Butterfield, Clemens Grelck und Frank HuchInhaltsverzeichnis
- 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.
