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.
Contributor(s): Butterfield, Andrew [editor.]
| Grelck, Clemens [editor.] | Huch, Frank [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Theoretical Computer Science and General Issues: 4015Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Edition: 1st ed. 2006.Description: IX, 231 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540691754.Subject(s): Compilers (Computer programs) | Computer programming | Computer science | Compilers and Interpreters | Programming Techniques | Computer Science Logic and Foundations of ProgrammingAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.45 Online resources: Click here to access online 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 for this item.