Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /
Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers / [electronic resource] :
edited by Andrew Butterfield, Clemens Grelck, Frank Huch.
- 1st ed. 2006.
- IX, 231 p. online resource.
- Theoretical Computer Science and General Issues, 4015 2512-2029 ; .
- Theoretical Computer Science and General Issues, 4015 .
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.
9783540691754
10.1007/11964681 doi
Compilers (Computer programs).
Computer programming.
Computer science.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
QA76.76.C65
005.45
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.
9783540691754
10.1007/11964681 doi
Compilers (Computer programs).
Computer programming.
Computer science.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
QA76.76.C65
005.45