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.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 4015 | Lecture Notes in Computer Science ; 4015Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Descripción: IX, 231 p. Also available online. online resourceTipo de contenido:- text
- computer
- online resource
- 9783540691754
- SpringerLink (Online service)
- 005.13 23
- QA76.7-76.73
- 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 Landins 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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.