Implementation and application of functional languages
Authors
Parameters
More about the book
InhaltsverzeichnisContributions.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.
Book purchase
Implementation and application of functional languages, Andrew Butterfield
- Language
- Released
- 2006
Payment methods
- Title
- Implementation and application of functional languages
- Language
- English
- Authors
- Andrew Butterfield
- Publisher
- Springer
- Released
- 2006
- ISBN10
- 354069174X
- ISBN13
- 9783540691747
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming
- Description
- InhaltsverzeichnisContributions.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.