Skip to main content
  • Conference proceedings
  • © 2011

Implementation and Application of Functional Languages

22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

  • Up to date results

  • Fast conference proceedings

  • State-of-the-art-report

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6647)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): IFL: International Symposium on Implementation and Application of Functional Languages

Conference proceedings info: IFL 2010.

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (13 papers)

  1. Front Matter

  2. Haskell Boards the Ferry

    • George Giorgidze, Torsten Grust, Tom Schreiber, Jeroen Weijers
    Pages 1-18
  3. Theory and Practice of Fusion

    • Ralf Hinze, Thomas Harper, Daniel W. H. James
    Pages 19-37
  4. Orthogonal Serialisation for Haskell

    • Jost Berthold
    Pages 38-53
  5. Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages

    • Arjan Boeijink, Philip K. F. Hölzenspies, Jan Kuper
    Pages 54-71
  6. Automating Derivations of Abstract Machines from Reduction Semantics:

    • Filip Sieczkowski, Małgorzata Biernacka, Dariusz Biernacki
    Pages 72-88
  7. Dependently Typed Attribute Grammars

    • Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
    Pages 105-120
  8. The Design and Implementation of Feldspar

    • Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson
    Pages 121-136
  9. Purity in Erlang

    • Mihalis Pitidis, Konstantinos Sagonas
    Pages 137-152
  10. iTask as a New Paradigm for Building GUI Applications

    • Steffen Michels, Rinus Plasmeijer, Peter Achten
    Pages 153-168
  11. Improving Your CASH Flow: The Computer Algebra SHell

    • Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond
    Pages 169-184
  12. Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences

    • Stephan Herhut, Carl Joslin, Sven-Bodo Scholz, Raphael Poss, Clemens Grelck
    Pages 185-202
  13. Composing Reactive GUIs in F# Using WebSharper

    • Joel Bjornson, Anton Tayanovskyy, Adam Granicz
    Pages 203-216
  14. Back Matter

Other Volumes

  1. Implementation and Application of Functional Languages

About this book

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.

Keywords

  • Erlang programming
  • Haskell programming
  • abstract state machines
  • functional programming
  • program execution
  • programming calculi
  • type systems

Editors and Affiliations

  • Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands

    Jurriaan Hage

  • Seton Hall University, South Orange, USA

    Marco T. Morazán

Bibliographic Information

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions