Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Sel by Ralf HinzeImplementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Sel by Ralf Hinze

Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012…

byRalf Hinze

Paperback | November 28, 2013

Pricing and Purchase Info

$83.99 online 
$99.50 list price save 15%
Earn 420 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming.
Title:Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012…Format:PaperbackDimensions:241 pages, 23.5 × 15.5 × 0.02 inPublished:November 28, 2013Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642415814

ISBN - 13:9783642415814

Look for similar items by category:

Reviews

Table of Contents

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.