Implementation and Application of Functional Languages [electronic resource] : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /
Material type: TextSeries: Theoretical Computer Science and General Issues ; 4015Publisher: 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
- QA76.76.C65
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.
There are no comments on this title.