Skip to main content
SpringerLink
Log in

Implementation and Application of Functional Languages

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Ralf Hinze

    1. University of Oxford, Oxford, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: IFL 2012.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  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. OCaml-Java: From OCaml Sources to Java Bytecodes

    • Xavier Clerc
    Pages 71-85

  7. The HERMIT in the Tree

    • Neil Sculthorpe, Andrew Farmer, Andy Gill
    Pages 86-103

  8. Optimisation of Generic Programs Through Inlining

    • José Pedro Magalhães
    Pages 104-121

  9. A Type- and Control-Flow Analysis for System F

    • Matthew Fluet
    Pages 122-139

  10. Dependently-Typed Programming in Scientific Computing

    • Cezar Ionescu, Patrik Jansson
    Pages 140-156

  11. Engineering Proof by Reflection in Agda

    • Paul van der Walt, Wouter Swierstra
    Pages 157-173

  12. Agda Meets Accelerate

    • Peter Thiemann, Manuel M. T. Chakravarty
    Pages 174-189

  13. An Embedded Type Debugger

    • Kanae Tsushima, Kenichi Asai
    Pages 190-206

  14. Pure and Lazy Lambda Mining

    • Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra
    Pages 207-223

  15. Decomposing Metaheuristic Operations

    • Richard Senington, David Duke
    Pages 224-239

  16. Back Matter

    Pages 241-241
    Download chapter PDF
Back to top

Other volumes

  1. Implementation and Application of Functional Languages

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation