Parametre
Viac o knihe
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.
Nákup knihy
Implementation and application of functional languages, Andrew Butterfield
- Jazyk
- Rok vydania
- 2006
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Implementation and application of functional languages
- Jazyk
- anglicky
- Autori
- Andrew Butterfield
- Vydavateľ
- Springer
- Rok vydania
- 2006
- ISBN10
- 354069174X
- ISBN13
- 9783540691747
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- 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.