Implementation and Application of Functional Languages

20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

  • Sven-Bodo Scholz
  • Olaf Chitil
Conference proceedings IFL 2008

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

Table of contents

  1. Front Matter
  2. Nils Anders Danielsson, Ulf Norell
    Pages 80-99
  3. Kai Trojahner, Clemens Grelck
    Pages 100-117
  4. Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet
    Pages 118-137
  5. George Giorgidze, Henrik Nilsson
    Pages 138-155
  6. Yan Wang, Verónica Gaspes
    Pages 174-191
  7. Jan Martin Jansen, Rinus Plasmeijer, Pieter Koopman
    Pages 192-211
  8. Pieter Koopman, Rinus Plasmeijer, Peter Achten
    Pages 212-232
  9. Mauro Jaskelioff
    Pages 233-248
  10. David Teller, Arnaud Spiwack, Till Varoquaux
    Pages 249-271
  11. Bas Lijnse, Rinus Plasmeijer
    Pages 272-290
  12. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. Topics of interest cover a wide range from novel language designs, theoretical underpinnings, compilation and optimisation techniques for diverse hardware architectures, to applications, programming techniques and novel tools.

Keywords

functional modeling functional programming program semantics programming language implementation type systems

Editors and affiliations

  • Sven-Bodo Scholz
    • 1
  • Olaf Chitil
    • 2
  1. 1.Department of Computer ScienceUniversity of HertfordshireHatfieldUK
  2. 2.School of ComputingUniversity of KentKentUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-24452-0
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24451-3
  • Online ISBN 978-3-642-24452-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Aerospace