Skip to main content
  • Conference proceedings
  • © 2005

Implementation and Application of Functional Languages

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

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)

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

Conference proceedings info: IFL 2004.

Buying options

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

  1. Front Matter

  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. A Functional Programming Technique for Forms in Graphical User Interfaces

    • Sander Evers, Peter Achten, Jan Kuper
    Pages 35-51
  4. Explaining ML Type Errors by Data Flows

    • Holger Gast
    Pages 72-89
  5. A Virtual Machine for Functional Logic Computations

    • Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew Tolmach
    Pages 108-125
  6. Source-Based Trace Exploration

    • Olaf Chitil
    Pages 126-141
  7. Shrinking Reductions in SML.NET

    • Nick Benton, Andrew Kennedy, Sam Lindley, Claudio Russo
    Pages 142-159
  8. Dynamic Construction of Generic Functions

    • Ronny Wichers Schreur, Rinus Plasmeijer
    Pages 160-176
  9. Reasoning About Deterministic Concurrent Functional I/O

    • Malcolm Dowse, Andrew Butterfield, Marko van Eekelen
    Pages 177-194
  10. General Homomorphic Overloading

    • Alex Shafarenko, Sven-Bodo Scholz
    Pages 195-210
  11. Simple, Effective Code-Size Reduction for Functional Programs

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

Other Volumes

  1. Implementation and Application of Functional Languages

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.

Keywords

  • .NET
  • ML
  • ML programming
  • function-based programming
  • functional logic computation
  • functional programming
  • functional programming languages
  • functional theorem proving
  • logic
  • programming
  • programming languages implementation
  • reduction
  • virtual machines

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

Bibliographic Information

Buying options

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