En savoir plus sur le livre
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.
Achat du livre
Implementation and application of functional languages, Andrew Butterfield
- Langue
- Année de publication
- 2006
- product-detail.submit-box.info.binding
- (souple)
Modes de paiement
Personne n'a encore évalué .