Parameter
Mehr zum Buch
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.
Buchkauf
Implementation and application of functional languages, Andrew Butterfield
- Sprache
- Erscheinungsdatum
- 2006
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Implementation and application of functional languages
- Sprache
- Englisch
- Autor*innen
- Andrew Butterfield
- Verlag
- Springer
- Erscheinungsdatum
- 2006
- ISBN10
- 354069174X
- ISBN13
- 9783540691747
- Kategorie
- Informatik & Programmierung
- Beschreibung
- 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.