Implementation and Application of Functional Languages
Editat de Ralf Hinzeen Limba Engleză Paperback – 28 noi 2013
Preț: 411.74 lei
Preț vechi: 514.68 lei
-20% Nou
Puncte Express: 618
Preț estimativ în valută:
72.85€ • 84.100$ • 63.69£
72.85€ • 84.100$ • 63.69£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642415814
ISBN-10: 3642415814
Pagini: 252
Ilustrații: X, 241 p. 72 illus.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:2013
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642415814
Pagini: 252
Ilustrații: X, 241 p. 72 illus.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:2013
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.
Caracteristici
Includes supplementary material: sn.pub/extras