
Implementation and Application of Functional Languages
24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Ralf Hinze(Editor)
Springer (Publisher)
Published on 28. November 2013
Book
Paperback/Softback
X, 241 pages
978-3-642-41581-4 (ISBN)
Description
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.
More details
Series
Edition
2013 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
72 s/w Abbildungen
X, 241 p. 72 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 14 mm
Weight
388 gr
ISBN-13
978-3-642-41581-4 (9783642415814)
DOI
10.1007/978-3-642-41582-1
Schweitzer Classification
Other editions
Additional editions

Ralf Hinze
Implementation and Application of Functional Languages
24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
E-Book
11/2013
Springer
€48.14
Available for download
Content
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.