Skip to main content
Springer Nature Link
Account

Implementation and Application of Functional Languages

16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Clemens Grelck

    1. University of Lübeck, Germany

  2. Frank Huch

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

  3. Greg J. Michaelson

    1. Dept. of Mathematics and Computer Science, Heriot-Watt University, Edinburgh, Scotland

  4. Phil Trinder

    1. School of Mathematical and Computer Sciences, Heriot-Watt University, Riccarton, UK

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

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

Included in the following conference series:

Conference proceedings info: IFL 2004.

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

Access this book

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

About this book

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8–10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ¨ eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr- ming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical - pects over language design and implementation towards applications and tool support. Previous IFL workshops were held in the United Kingdom (Southampton, Norwich, London, St Andrews, and Edinburgh), in the Netherlands (Nijmegen and Lochem), in Germany (Aachen and Bonn), in Sweden (B? astad and Sto- holm), and in Spain (Madrid). In 2005, the 17th International Workshop on - plementation and Application of Functional Languages will be held in Dublin, Ireland.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations

    • Alfredo Cristóbal-Salas, Andrey Chernykh, Edelmira Rodríguez-Alcantar, Jean-Luc Gaudiot
    Pages 1-16

  3. The Feasibility of Interactively Probing Quiescent Properties of GUI Applications

    • Peter Achten
    Pages 17-34

  4. A Functional Programming Technique for Forms in Graphical User Interfaces

    • Sander Evers, Peter Achten, Jan Kuper
    Pages 35-51

  5. A Rational Deconstruction of Landin’s SECD Machine

    • Olivier Danvy
    Pages 52-71

  6. Explaining ML Type Errors by Data Flows

    • Holger Gast
    Pages 72-89

  7. V→M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions

    • Baltasar Trancón y Widemann
    Pages 90-107

  8. A Virtual Machine for Functional Logic Computations

    • Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew Tolmach
    Pages 108-125

  9. Source-Based Trace Exploration

    • Olaf Chitil
    Pages 126-141

  10. Shrinking Reductions in SML.NET

    • Nick Benton, Andrew Kennedy, Sam Lindley, Claudio Russo
    Pages 142-159

  11. Dynamic Construction of Generic Functions

    • Ronny Wichers Schreur, Rinus Plasmeijer
    Pages 160-176

  12. Reasoning About Deterministic Concurrent Functional I/O

    • Malcolm Dowse, Andrew Butterfield, Marko van Eekelen
    Pages 177-194

  13. General Homomorphic Overloading

    • Alex Shafarenko, Sven-Bodo Scholz
    Pages 195-210

  14. Simple, Effective Code-Size Reduction for Functional Programs

    • Ekaterina Stefanov, Anthony M. Sloane
    Pages 211-225

  15. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Implementation and Application of Functional Languages

Editors and Affiliations

  • University of Lübeck, Germany

    Clemens Grelck

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

    Frank Huch

  • Dept. of Mathematics and Computer Science, Heriot-Watt University, Edinburgh, Scotland

    Greg J. Michaelson

  • School of Mathematical and Computer Sciences, Heriot-Watt University, Riccarton, UK

    Phil Trinder

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top