Implementation of Functional Languages
Subtitle: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers (Lecture Notes in Computer Science)
Contributors: Ricardo Pena (Editor); Thomas Arts (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 5, 2003
Language: eng
Format: Paperback
Number of pages: 249
ISBN-13: 9783540401902
Subjects: Programming languages; Functional programming languages; Computers - Languages / Programming; Computers; Computer Books: General; General; Programming Languages - General; Computers / Programming Languages / General; Congresses; Functional programming languag
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>