Implementation of Functional Languages

Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected PapersAuthor: Ricardo Peña, Thomas Arts Published by Springer Berlin Heidelberg ISBN: 978-3-540-40190-2 DOI: 10.1007/3-540-44854-3Table of Contents:Predictable Space Behaviour in FSM-Hume
When Generic Functions Use Dynamic Values
Fast Functional Lists
Fusion in Practice
Proving Make Correct: I/O Proofs in Haskell and Clean
Gast: Generic Automated Software Testing
Lazy Dynamic Input/Output in the Lazy Functional Language Clean
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment
Stacking Cycles: Functional Transformation of Circular Data
Transforming Haskell for Tracing
Axis Control in SAC
Thread Migration in a Parallel Graph Reducer
Towards a Strongly Typed Functional Operating System
Cost Analysis Using Automatic Size and Time Inference