Implementation of Functional Languages: 11th International Workshop, Ifl'99, Lochem, the Netherlands, September 7-10, 1999 : Selected Papers

by Koopman, Pieter; Clack, Chris

• ISBN13: 9783540678649
• ISBN10: 3540678646
• Format: Paperback
• Copyright: 2000-08-01
• Publisher: Springer Verlag

Summary

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999.The 11 revised full papers presented were carefully selected during two rounds of reviewing. The papers are organized in sections on applications, compilation techniques, language concepts, and parallelism.

Table of Contents

Applications
Using Clean for Platform Games	1	(18)
Mike Wiering
Peter Achten
Rinus Plasmeijer
Compilation Techniques
Type-Inference Based Short Cut Deforestation (Nearly) without Inlining	19	(18)
Olaf Chitil
Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell	37	(22)
Simon Peyton Jones
Simon Marlow
Conal Elliott
Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional Language	59	(18)
John H. G. van Groningen
On Code Generation for Multi-generator WITH-Loops in SAC	77	(18)
Clemens Grelck
Dietmar Kreye
Sven-Bodo Scholz
A Reversible SE(M)CD Machine	95	(20)
Werner Kluge
Language Concepts
The Implementation of Interactive Local State Transition Systems in Clean	115	(16)
Peter Achten
Rinus Plasmeijer
C → Haskell, or Yet Another Interfacing Tool	131	(18)
Manuel M. T. Chakravarty
Reflections in Opal-Meta Information in a Functional Programming Language	149	(16)
Klaus Didrich
Wolfgang Grieskamp
Florian Schintke
Till Tantau
Baltasar Trancon-y-Widemann
Haskell-Coloured Petri Nets	165	(16)
Claus Reinke
Parallelism
HaskSkel: Algorithmic Skeletons in Haskell	181	(18)
Kevin Hammond
Alvaro J. Rebon Portillo
Author Index	199