Implementation and Application of Functional Languages

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

  • Jurriaan Hage
  • Marco T. Morazán
Conference proceedings IFL 2010

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

Table of contents

  1. Front Matter
    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
    PDF

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Jurriaan Hage
    • 1
  • Marco T. Morazán
    • 2
  1. 1.Department of Information and Computing SciencesUniversiteit UtrechtUtrechtThe Netherlands
  2. 2.Seton Hall UniversitySouth OrangeUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-24276-2
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24275-5
  • Online ISBN 978-3-642-24276-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book