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

DOI: 10.1007/978-3-540-74130-5

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

  • 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