Skip to main content
SpringerLink
Log in

Implementation and Application of Functional Languages

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Jurriaan Hage

    1. Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marco T. Morazán

    1. Seton Hall University, South Orange, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: IFL 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  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. From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC

    • Neil Toronto, Jay McCarthy
    Pages 89-104

  8. Dependently Typed Attribute Grammars

    • Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
    Pages 105-120

  9. The Design and Implementation of Feldspar

    • Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson
    Pages 121-136

  10. Purity in Erlang

    • Mihalis Pitidis, Konstantinos Sagonas
    Pages 137-152

  11. iTask as a New Paradigm for Building GUI Applications

    • Steffen Michels, Rinus Plasmeijer, Peter Achten
    Pages 153-168

  12. Improving Your CASH Flow: The Computer Algebra SHell

    • Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond
    Pages 169-184

  13. Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences

    • Stephan Herhut, Carl Joslin, Sven-Bodo Scholz, Raphael Poss, Clemens Grelck
    Pages 185-202

  14. Composing Reactive GUIs in F# Using WebSharper

    • Joel Bjornson, Anton Tayanovskyy, Adam Granicz
    Pages 203-216

  15. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Implementation and Application of Functional Languages

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation