Advertisement

Implementation of Functional Languages

13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers

  • Thomas Arts
  • Markus Mohnen
Conference proceedings IFL 2001

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

Table of contents

  1. Front Matter
    Pages I-VII
  2. Ricardo Pena, Clara Segura
    Pages 1-17
  3. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer
    Pages 55-71
  4. Andrew Butterfield, Glenn Strong
    Pages 72-87
  5. Alberto de la Encina, Ricardo Pena
    Pages 88-104
  6. Karl-Filip Faxén
    Pages 105-120
  7. Ricardo Pena, Clara Segura
    Pages 121-137
  8. Norman Scaife, Greg Michaelson, Susumu Horiguchi
    Pages 138-154
  9. Artem Alimarine, Rinus Plasmeijer
    Pages 168-185
  10. Back Matter
    Pages 187-187

About these proceedings

Keywords

Clean Compiler Erlang Programming Functional Languages Functional Programming Functional Theorem Proving Paralell Programming Programming Language Implementation Programming Languages Scheme optimization programming theorem proving

Editors and affiliations

  • Thomas Arts
    • 1
  • Markus Mohnen
    • 2
  1. 1.Computer Science LaboratoryEricssonÄlvsjöSweden
  2. 2.Lehrstuhl für Informatik IIRWTH AachenAachenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46028-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43537-2
  • Online ISBN 978-3-540-46028-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site