KI-Beratung Beta

Produktbild: Implementation and Application of Functional Languages
Band 8241

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

46,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.11.2013

Abbildungen

X, 241 p. 72 illus.

Herausgeber

Ralf Hinze

Verlag

Springer Berlin

Seitenzahl

241

Maße (L/B/H)

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

Gewicht

388 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-41581-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.11.2013

Abbildungen

X, 241 p. 72 illus.

Herausgeber

Ralf Hinze

Verlag

Springer Berlin

Seitenzahl

241

Maße (L/B/H)

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

Gewicht

388 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-41581-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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
  • A Notation for Comonads.- Iterating Skeletons.- Structured Parallelism by Composition.- Building JavaScript Applications with Haskell.- Advances in Lazy SmallCheck.- OCaml-Java: from OCaml sources to Java bytecodes.- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language.- Optimisation of Generic Programs through Inlining.- A Type-and Control-Flow Analysis for System F.- Dependently-typed Programming in Scientific Computing: Examples from economic modelling.- Engineering Proof by Reflection in Agda.- Agda Meets Accelerate.- An Embedded Type Debugger.- Pure and Lazy Lambda Mining: An Experience Report.- Decomposing Metaheuristic Operations.