Implementation and Application of Functional Languages

19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

  • Editors
  • Olaf Chitil
  • Zoltán Horváth
  • Viktória Zsók
Conference proceedings IFL 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5083)

Table of contents

  1. Front Matter
  2. Steffen Mazanek, Mark Minas
    Pages 1-18
  3. Huiqing Li, Simon Thompson
    Pages 19-36
  4. Marco T. Morazán, Ulrik P. Schultz
    Pages 37-56
  5. Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
    Pages 57-74
  6. Martin Sulzmann, Kenny Zhuo Ming Lu
    Pages 75-92
  7. Robert Bruce Findler, Shu-yu Guo, Anne Rogers
    Pages 111-128
  8. Neil Mitchell, Colin Runciman
    Pages 147-164
  9. Dirk Kleeblatt
    Pages 165-182
  10. Bernd Braßel, Holger Siegel
    Pages 183-200
  11. Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson
    Pages 201-218
  12. Baltasar Trancón y Widemann, David Lorge Parnas
    Pages 219-236
  13. Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner
    Pages 254-273
  14. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007.

The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.

Keywords

Debugging Haskell programming ML programming data structures function-based programming functional logic computation functional programming functional programming languages functional theorem proving implem mathematical semantics parallel functional programming stricness

Bibliographic information

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