Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Implementation and Application of Functional Languages

17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Andrew Butterfield

    1. Trinity College Dublin, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Clemens Grelck

    1. University of Lübeck, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Frank Huch

    1. Institute of Computer Science, University of Kiel, Kiel, Germany

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

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

Included in the following conference series:

Conference proceedings info: IFL 2005.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Contributions

    1. A Framework for Point-Free Program Transformation

      • Alcino Cunha, Jorge Sousa Pinto, José Proença
      Pages 1-18

    2. Encoding Strategies in the Lambda Calculus with Interaction Nets

      • Ian Mackie
      Pages 19-36

    3. Proof Tool Support for Explicit Strictness

      • Marko van Eekelen, Maarten de Mol
      Pages 37-54

    4. A Rational Deconstruction of Landin’s J Operator

      • Olivier Danvy, Kevin Millikin
      Pages 55-73

    5. A Dependently Typed Framework for Static Analysis of Program Execution Costs

      • Edwin Brady, Kevin Hammond
      Pages 74-90

    6. Accurate Step Counting

      • Catherine Hope, Graham Hutton
      Pages 91-105

    7. The Implementation of iData

      • Rinus Plasmeijer, Peter Achten
      Pages 106-123

    8. A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell

      • Frank Huch, Frank Kupke
      Pages 124-141

    9. Polytypic Syntax Tree Operations

      • Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer
      Pages 142-159

    10. Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences

      • Alex Shafarenko, Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, Kai Trojahner
      Pages 160-177

    11. With-Loop Fusion for Data Locality and Parallelism

      • Clemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz
      Pages 178-195

    12. A Document-Centered Environment for Haskell

      • Keith Hanna
      Pages 196-211

    13. A Binding Scope Analysis for Generic Programs on Arrays

      • Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko
      Pages 212-230

  3. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Implementation and Application of Functional Languages

Keywords

Editors and Affiliations

  • Trinity College Dublin, Ireland

    Andrew Butterfield

  • University of Lübeck, Germany

    Clemens Grelck

  • Institute of Computer Science, University of Kiel, Kiel, Germany

    Frank Huch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation