Advertisement

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

Keywords

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

  • DOI https://doi.org/10.1007/b102274
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-23727-3
  • Online ISBN 978-3-540-27861-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Aerospace
Engineering