Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2006

Implementation and Application of Functional Languages

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

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)

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

Conference proceedings info: IFL 2005.

Sections

Buy it now

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

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

Table of contents (13 papers)

  1. Front Matter

    PDF

  2. Contributions

    1. A Framework for Point-Free Program Transformation

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

    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

    6. Accurate Step Counting

      • Catherine Hope, Graham Hutton
      Pages 91-105

    7. The Implementation of iData

      • Rinus Plasmeijer, Peter Achten
      Pages 106-123

    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

    13. A Binding Scope Analysis for Generic Programs on Arrays

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

  3. Back Matter

    PDF
Back to top

Other Volumes

  1. Implementation and Application of Functional Languages

Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation