Implementation And Application Of Functional Languages: 20th International Symposium, Ifl 2008, Hatfield, Uk, September 10-12, 2008. Revised Selected Papers (lecture Notes In Computer Science)

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The 20th International Workshop On Implementation And Applications Of Functional Languages, Ifl 2008, Held In Hatfield, Uk, In September 2008. The 15 Revised Full Papers Presented Were Carefully Reviewed And Selected From 31 Submissions. Topics Of Interest Cover A Wide Range From Novel Language Designs, Theoretical Underpinnings, Compilation And Optimisation Techniques For Diverse Hardware Architectures, To Applications, Programming Techniques And Novel Tools. Edited By Sven-bodo Scholz, Olaf Chitil. Front Matter....Pages - Scans and Convolutions— A Calculational Proof of Moessner’s Theorem....Pages 1-24 From Functional Logic Programs to Purely Functional Programs Preserving Laziness....Pages 25-42 An Interaction Net Implementation of Closed Reduction....Pages 43-59 Implementation Architecture and Multithreaded Runtime System of S- Net ....Pages 60-79 Parsing Mixfix Operators....Pages 80-99 Descriptor-Free Representation of Arrays with Dependent Types....Pages 100-117 Collected Size Semantics for Functional Programs over Lists....Pages 118-137 Embedding a Functional Hybrid Modelling Language in Haskell....Pages 138-155 Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors....Pages 156-173 A Library for Processing Ad hoc Data in Haskell....Pages 174-191 iEditors: Extending iTask with Interactive Plug-ins....Pages 192-211 An Executable and Testable Semantics for iTasks....Pages 212-232 Monatron: An Extensible Monad Transformer Library....Pages 233-248 Catch Me If You Can....Pages 249-271 Between Types and Tables....Pages 272-290 Back Matter....Pages - This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012.