Implementation and Application of Functional Languages

18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

  • Editors
  • Zoltán Horváth
  • Viktória Zsók
  • Andrew Butterfield
Conference proceedings IFL 2006

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

Table of contents

  1. Front Matter
  2. Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz
    Pages 1-18
  3. Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alex Shafarenko
    Pages 19-36
  4. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio
    Pages 55-72
  5. Jost Berthold, Rita Loogen
    Pages 73-90
  6. Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
    Pages 91-107
  7. Rinus Plasmeijer, Peter Achten
    Pages 108-125
  8. Olaf Chitil, Frank Huch
    Pages 126-144
  9. Edwin Brady
    Pages 145-162
  10. Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson
    Pages 181-198
  11. Jurriaan Hage, Bastiaan Heeren
    Pages 199-216
  12. Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak et al.
    Pages 217-234
  13. Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann
    Pages 235-252
  14. Jesús M. Almendros-Jiménez, Germán Vidal
    Pages 253-270
  15. Back Matter

About these proceedings

Keywords

Debugging Haskell Haskell programming ML programming function-based programming functional logic computation functional progamming languages functional programming functional theorem proving graph rewriting logic mathematical semantics parallel functional programming programming verification

Bibliographic information

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