Implementation of Functional Languages

12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers

  • Markus Mohnen
  • Pieter Koopman
Conference proceedings IFL 2000

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

Table of contents

  1. Front Matter
    Pages I-VIII
    PDF
  2. Non-determinism Analysis in a Parallel-Functional Language
    Ricardo Peña, Clara Segura
    Pages 1-18
  3. Exploiting Implicit Parallelism in Functional Programs with SLAM
    John Sargeant, Chris Kirkham, Ian Watson
    Pages 19-36
  4. Verifying Generic Erlang Client—Server Implementations
    Thomas Arts, Thomas Noll
    Pages 37-52
  5. The Design and Implementation of Glasgow Distributed Haskell
    R.F. Pointon, P.W. Trinder, H.-W. Loidl
    Pages 53-70
  6. Implementation Skeletons in Eden: Low-Effort Parallel Programming
    Ulrike Klusik, Rita Loogen, Steffen Priebe, Fernando Rubio
    Pages 71-88
  7. ObjectCurry:An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry
    Michael Hanus, Frank Huch, Philipp Niederau
    Pages 89-106
  8. Distributed Programming in Haskell with Ports
    Frank Huch, Ulrich Norbisrath
    Pages 107-121
  9. The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour
    Kevin Hammond
    Pages 122-139
  10. A Usage Analysis with Bounded Usage Polymorphism and Subtyping
    Jörgen Gustavsson, Josef Svenningsson
    Pages 140-157
  11. Polygonizing Implicit Surfaces in a Purely Functional Way
    Thorsten H.-G. Zörner, Pieter Koopman, Marko van Eekelen, Rinus Plasmeijer
    Pages 158-175
  12. Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
    Olaf Chitil, Colin Runciman, Malcolm Wallace
    Pages 176-193
  13. Porting the Clean Object I/O Library to Haskell
    Peter Achten, Simon Peyton Jones
    Pages 194-213
  14. Organizing Speculative Computations in Functional Systems
    Raimund Schroeder, Werner Kluge
    Pages 214-230
  15. Improving Cache Effectiveness through Array Data Layout Manipulation in SAC
    Clemens Grelck
    Pages 231-248
  16. The Collective Semantics in Functional SPMD Programming
    John O’Donnell
    Pages 249-265
  17. Back Matter
    Pages 267-267
    PDF

About these proceedings

Keywords

Clean Debugging Erlang Erlang programming Functional programming Haskell distributed programming functional languages parallel programming programm language implementation programming programming languages semantics

Editors and affiliations

  • Markus Mohnen
    • 1
  • Pieter Koopman
    • 2
  1. 1.Lehrstuhl für Informatik IIRWTH AachenAachenGermany
  2. 2.KUN NijmegenED NijmegenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45361-X
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41919-8
  • Online ISBN 978-3-540-45361-1
  • Series Print ISSN 0302-9743
  • About this book