Implementation and Application of Functional Languages

17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

  • Andrew Butterfield
  • Clemens Grelck
  • Frank Huch
Conference proceedings IFL 2005
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4015)

Table of contents

  1. Front Matter
  2. Contributions

    1. Alcino Cunha, Jorge Sousa Pinto, José Proença
      Pages 1-18
    2. Marko van Eekelen, Maarten de Mol
      Pages 37-54
    3. Olivier Danvy, Kevin Millikin
      Pages 55-73
    4. Catherine Hope, Graham Hutton
      Pages 91-105
    5. Rinus Plasmeijer, Peter Achten
      Pages 106-123
    6. Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer
      Pages 142-159
    7. Alex Shafarenko, Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, Kai Trojahner
      Pages 160-177
    8. Clemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz
      Pages 178-195
    9. Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko
      Pages 212-230
  3. Back Matter

About these proceedings

Keywords

Haskell Haskell programming ML programming function-based programming functional logic computation functional programming functional programming languages functional theorem proving graph rewriting lambda calculus mathematical semantics programming languages implementat programming languages implementation server-side Web programming theorem proving

Editors and affiliations

  • Andrew Butterfield
    • 1
  • Clemens Grelck
    • 2
  • Frank Huch
    • 3
  1. 1.Trinity College DublinIreland
  2. 2.University of LübeckGermany
  3. 3.Institute of Computer ScienceUniversity of KielKielGermany

Bibliographic information

  • DOI https://doi.org/10.1007/11964681
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-69174-7
  • Online ISBN 978-3-540-69175-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349