Skip to main content
  • Conference proceedings
  • © 2013

Implementation and Application of Functional Languages

24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Editors:

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8241)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): IFL: International Symposium on Implementation and Application of Functional Languages

Conference proceedings info: IFL 2012.

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (14 papers)

  1. Front Matter

    Pages I-X
  2. A Notation for Comonads

    • Dominic Orchard, Alan Mycroft
    Pages 1-17
  3. Iterating Skeletons

    • Mischa Dieterle, Thomas Horstmeyer, Jost Berthold, Rita Loogen
    Pages 18-36
  4. Building JavaScript Applications with Haskell

    • Atze Dijkstra, Jurriën Stutterheim, Alessandro Vermeulen, S. Doaitse Swierstra
    Pages 37-52
  5. Advances in Lazy SmallCheck

    • Jason S. Reich, Matthew Naylor, Colin Runciman
    Pages 53-70
  6. The HERMIT in the Tree

    • Neil Sculthorpe, Andrew Farmer, Andy Gill
    Pages 86-103
  7. Optimisation of Generic Programs Through Inlining

    • José Pedro Magalhães
    Pages 104-121
  8. Dependently-Typed Programming in Scientific Computing

    • Cezar Ionescu, Patrik Jansson
    Pages 140-156
  9. Engineering Proof by Reflection in Agda

    • Paul van der Walt, Wouter Swierstra
    Pages 157-173
  10. Agda Meets Accelerate

    • Peter Thiemann, Manuel M. T. Chakravarty
    Pages 174-189
  11. An Embedded Type Debugger

    • Kanae Tsushima, Kenichi Asai
    Pages 190-206
  12. Pure and Lazy Lambda Mining

    • Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra
    Pages 207-223
  13. Decomposing Metaheuristic Operations

    • Richard Senington, David Duke
    Pages 224-239
  14. Back Matter

    Pages 241-241

Other Volumes

  1. Implementation and Application of Functional Languages

About this book

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.

Editors and Affiliations

  • University of Oxford, Oxford, United Kingdom

    Ralf Hinze

Bibliographic Information

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access