• Produktbild: Implementation and Application of Functional Languages
  • Produktbild: Implementation and Application of Functional Languages

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.12.2006

Herausgeber

Andrew Butterfield + weitere

Verlag

Springer Berlin

Seitenzahl

231

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

376 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-69174-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.12.2006

Herausgeber

Verlag

Springer Berlin

Seitenzahl

231

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

376 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-69174-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Implementation and Application of Functional Languages
  • Produktbild: Implementation and Application of Functional Languages
  • 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.