Implementation and Application of Functional Languages [electronic resource] : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers / edited by Andrew Butterfield, Clemens Grelck, Frank Huch.
Material type:
TextSeries: Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Edition: 1st ed. 2006Description: IX, 231 p. online resourceContent type: - text
- computer
- online resource
- 9783540691754
- 005.45 23
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.
Licensed e-book