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