Implementation and application of functional languages : 24th international symposium, IFL 2012, Oxford, UK, August 30-September 1, 2012, revised selected papers / Ralf Hinze (ed.)
A Notation for Comonads / Dominic Orchard and Alan Mycroft -- Iterating Skeletons / Mischa Dieterle and Thomas Horstmeyer -- Building JavaScript Applications with Haskell / Atze Dijkstra and Jurriën Stutterheim -- Advances in Lazy SmallCheck / Jason S. Reich and Matthew Naylor -- OCaml-Java: From OCaml Sources to Java Bytecodes / Xavier Clerc -- The HERMIT in the Tree / Neil Sculthorpe, Andrew Farmer and Andy Gill -- Optimisation of Generic Programs Through Inlining / José Pedro Magalhães -- A Type- and Control-Flow Analysis for System F / Matthew Fluet -- Dependently-Typed Programming in Scientific Computing / Cezar Ionescu and Patrik Jansson -- Engineering Proof by Reflection in Agda / Paul van der Walt and Wouter Swierstra -- Agda Meets Accelerate / Peter Thiemann and Manuel M.T. Chakravarty -- An Embedded Type Debugger / Kanae Tsushima and Kenichi Asai -- Pure and Lazy Lambda Mining / Nicolas Wu and José Pedro Magalhães -- Decomposing Metaheuristic Operations / Richard Senington and David Dukef
Summary
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
Bibliography
Includes bibliographical references and author index
Notes
Online resource; title from PDF title page (SpringerLink, viewed November 18, 2013)