Skip to main content
SpringerLink
Log in

Implementation and Application of Functional Languages

20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Sven-Bodo Scholz

    1. Department of Computer Science, University of Hertfordshire, Hatfield, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Olaf Chitil

    1. School of Computing, University of Kent, Kent, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Unique visibility Fast-track conference proceedings State-of-the-art research

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

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

Included in the following conference series:

Conference proceedings info: IFL 2008.

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 PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
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 (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Scans and Convolutions— A Calculational Proof of Moessner’s Theorem

    • Ralf Hinze
    Pages 1-24

  3. From Functional Logic Programs to Purely Functional Programs Preserving Laziness

    • Bernd Braßel, Sebastian Fischer
    Pages 25-42

  4. An Interaction Net Implementation of Closed Reduction

    • Ian Mackie
    Pages 43-59

  5. Implementation Architecture and Multithreaded Runtime System of S-Net

    • Clemens Grelck, Frank Penczek
    Pages 60-79

  6. Parsing Mixfix Operators

    • Nils Anders Danielsson, Ulf Norell
    Pages 80-99

  7. Descriptor-Free Representation of Arrays with Dependent Types

    • Kai Trojahner, Clemens Grelck
    Pages 100-117

  8. Collected Size Semantics for Functional Programs over Lists

    • Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet
    Pages 118-137

  9. Embedding a Functional Hybrid Modelling Language in Haskell

    • George Giorgidze, Henrik Nilsson
    Pages 138-155

  10. Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors

    • Joel Svensson, Mary Sheeran, Koen Claessen
    Pages 156-173

  11. A Library for Processing Ad hoc Data in Haskell

    • Yan Wang, Verónica Gaspes
    Pages 174-191

  12. iEditors: Extending iTask with Interactive Plug-ins

    • Jan Martin Jansen, Rinus Plasmeijer, Pieter Koopman
    Pages 192-211

  13. An Executable and Testable Semantics for iTasks

    • Pieter Koopman, Rinus Plasmeijer, Peter Achten
    Pages 212-232

  14. Monatron: An Extensible Monad Transformer Library

    • Mauro Jaskelioff
    Pages 233-248

  15. Catch Me If You Can

    • David Teller, Arnaud Spiwack, Till Varoquaux
    Pages 249-271

  16. Between Types and Tables

    • Bas Lijnse, Rinus Plasmeijer
    Pages 272-290

  17. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Implementation and Application of Functional Languages

Keywords

About this book

This book constitutes the thoroughly refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. Topics of interest cover a wide range from novel language designs, theoretical underpinnings, compilation and optimisation techniques for diverse hardware architectures, to applications, programming techniques and novel tools.

Editors and Affiliations

  • Department of Computer Science, University of Hertfordshire, Hatfield, UK

    Sven-Bodo Scholz

  • School of Computing, University of Kent, Kent, UK

    Olaf Chitil

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation