Central Library

Normal view MARC view ISBD view

Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze.

Contributor(s): Hinze, Ralf [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Theoretical Computer Science and General Issues: 8241Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Edition: 1st ed. 2013.Description: X, 241 p. 72 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642415821.Subject(s): Computer science | Compilers (Computer programs) | Software engineering | Machine theory | Computer programming | Application software | Computer Science Logic and Foundations of Programming | Compilers and Interpreters | Software Engineering | Formal Languages and Automata Theory | Programming Techniques | Computer and Information Systems ApplicationsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online
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.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

There are no comments for this item.

Log in to your account to post a comment.