Implementation and Application of Functional Languages
Editat de Andrew Butterfield, Clemens Grelck, Frank Huchen Limba Engleză Paperback – 27 dec 2006
Preț: 319.28 lei
Preț vechi: 399.10 lei
-20%
Puncte Express: 479
Carte tipărită la comandă
Livrare economică 13-27 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540691747
ISBN-10: 354069174X
Pagini: 244
Ilustrații: IX, 231 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354069174X
Pagini: 244
Ilustrații: IX, 231 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.