Ebook: 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.

---

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.
Content:
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 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.
Content:
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 -
....