Produktbild: Implementation and Application of Functional Languages

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

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.11.2013

Abbildungen

X, 72 illus., schwarz-weiss Illustrationen

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, 72 illus., schwarz-weiss Illustrationen

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: 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
  • 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.