Implementation and application of functional languages : 21st international symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009 : revised selected papers

This book constitutes the thoroughly refereed post-proceedings of the 21st International Workshop on Implementation and Applications of Functional Languages, IFL 2000, held in South Orange, NJ, USA, in September 2009. The 13 revised full papers presented were carefully reviewed and were selected from numerous 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 - PICOBIT: A Compact Scheme System for Microcontrollers....Pages 1-17 Introducing Kansas Lava....Pages 18-35 iTasks 2: iTasks for End-users....Pages 36-54 ChalkBoard: Mapping Functions to Polygons....Pages 55-71 Implementing Fusion-Equipped Parallel Skeletons by Expression Templates....Pages 72-89 Arity Raising in Manticore....Pages 90-106 Symbiotic Expressions....Pages 107-124 Stream Fusion on Haskell Unicode Strings....Pages 125-140 Nested and Dynamic Contract Boundaries....Pages 141-158 Pull-Ups, Push-Downs, and Passing It Around....Pages 159-178 A Typical Synergy....Pages 179-197 The Very Lazy λ -Calculus and the STEC Machine....Pages 198-217 Engineering Higher-Order Modules in SML/NJ....Pages 218-235 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.