Implementation and application of functional languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, the Netherlands, September 1-3, 2010 : revised selected papers

This book constitutes the thoroughly refereed post-proceedings of the 22nd International Workshop on Implementation and Applications of Functional Languages, IFL 2011, held in Alphen aan den Rijn, The Netherlands in September 2011. The 13 revised full papers presented were carefully reviewed and were selected from 31 submissions. The IFL symposia bring together researchers and practitioners that are actively engaged in the implementation and the use of functional and function based programming languages. Every year IFL provides a venue for the presentation and discussion of new ideas and concepts, of work in progress, and of publication-ripe results. Front Matter....Pages - Haskell Boards the Ferry....Pages 1-18 Theory and Practice of Fusion....Pages 19-37 Orthogonal Serialisation for Haskell....Pages 38-53 Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages....Pages 54-71 Automating Derivations of Abstract Machines from Reduction Semantics:....Pages 72-88 From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC ....Pages 89-104 Dependently Typed Attribute Grammars....Pages 105-120 The Design and Implementation of Feldspar....Pages 121-136 Purity in Erlang....Pages 137-152 iTask as a New Paradigm for Building GUI Applications....Pages 153-168 Improving Your CASH Flow: The C omputer A lgebra SH ell....Pages 169-184 Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences....Pages 185-202 Composing Reactive GUIs in F# Using WebSharper....Pages 203-216 Back Matter....Pages - This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Implementation and Applications of Functional Languages, IFL 2010, held in Alphen aan den Rijn, The Netherlands, in September 2010. The 13 revised full papers presented were carefully reviewed and were selected from 31 submissions. The IFL symposia bring together researchers and practitioners that are actively engaged in the implementation and the use of functional and function based programming languages. Every year IFL provides a venue for the presentation and discussion of new ideas and concepts, of work in progress, and of publication-ripe results.