© 2005

Implementation of Functional Languages

15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

  • Phil Trinder
  • Greg J. Michaelson
  • Ricardo Peña
Conference proceedings IFL 2003

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

Table of contents

  1. Front Matter
  2. Implementation of Functional Languages

    1. Olaf Chitil, Dan McNeill, Colin Runciman
      Pages 1-19
    2. Language Constructs and Programming

      1. André T. H. Pang, Manuel M. T. Chakravarty
        Pages 20-35
      2. Arjen van Weelden, Rinus Plasmeijer
        Pages 36-52
    3. Static Analysis and Types

    4. Paralelism

      1. Jost Berthold
        Pages 102-117
      2. Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
        Pages 118-134
      3. Peter Achten, Marko van Eekelen, Rinus Plasmeijer
        Pages 152-167
      4. Ulf Norell, Patrik Jansson
        Pages 168-184
  3. Back Matter

About these proceedings


algorithm algorithms functional programming functional programming languages functional theorem proving generic programming haskell programming higher-order functional programs programming programming languages implementation type systems

Editors and affiliations

  • Phil Trinder
    • 1
  • Greg J. Michaelson
    • 2
  • Ricardo Peña
    • 3
  1. 1.Dept. of Mathematics and Comp. Sci.Heriot-Watt UniversityEdinburghUK
  2. 2.Dept. of Mathematics and Computer ScienceHeriot-Watt UniversityEdinburghScotland
  3. 3.Departamento Sistemas Informaticos y Programacin, Facultad de InformaticaUniversidad Complutense de MadridMadridSpain

Bibliographic information

Industry Sectors
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment