Skip to main content
  • Conference proceedings
  • © 2011

Implementation and Application of Functional Languages

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

  • 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)

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

Conference proceedings info: IFL 2008.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (15 papers)

  1. Front Matter

  2. Parsing Mixfix Operators

    • Nils Anders Danielsson, Ulf Norell
    Pages 80-99
  3. Descriptor-Free Representation of Arrays with Dependent Types

    • Kai Trojahner, Clemens Grelck
    Pages 100-117
  4. Collected Size Semantics for Functional Programs over Lists

    • Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet
    Pages 118-137
  5. Embedding a Functional Hybrid Modelling Language in Haskell

    • George Giorgidze, Henrik Nilsson
    Pages 138-155
  6. A Library for Processing Ad hoc Data in Haskell

    • Yan Wang, Verónica Gaspes
    Pages 174-191
  7. iEditors: Extending iTask with Interactive Plug-ins

    • Jan Martin Jansen, Rinus Plasmeijer, Pieter Koopman
    Pages 192-211
  8. An Executable and Testable Semantics for iTasks

    • Pieter Koopman, Rinus Plasmeijer, Peter Achten
    Pages 212-232
  9. Monatron: An Extensible Monad Transformer Library

    • Mauro Jaskelioff
    Pages 233-248
  10. Catch Me If You Can

    • David Teller, Arnaud Spiwack, Till Varoquaux
    Pages 249-271
  11. Between Types and Tables

    • Bas Lijnse, Rinus Plasmeijer
    Pages 272-290
  12. Back Matter

Other Volumes

  1. Implementation and Application of Functional Languages

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.

Keywords

  • functional modeling
  • functional programming
  • program semantics
  • programming language implementation
  • type systems

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions