Skip to main content
  • Conference proceedings
  • © 2001

Implementation of Functional Languages

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

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

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (15 papers)

  1. Front Matter

    Pages I-VIII
  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. Distributed Programming in Haskell with Ports

    • Frank Huch, Ulrich Norbisrath
    Pages 107-121
  8. A Usage Analysis with Bounded Usage Polymorphism and Subtyping

    • Jörgen Gustavsson, Josef Svenningsson
    Pages 140-157
  9. Polygonizing Implicit Surfaces in a Purely Functional Way

    • Thorsten H.-G. Zörner, Pieter Koopman, Marko van Eekelen, Rinus Plasmeijer
    Pages 158-175
  10. Porting the Clean Object I/O Library to Haskell

    • Peter Achten, Simon Peyton Jones
    Pages 194-213
  11. Organizing Speculative Computations in Functional Systems

    • Raimund Schroeder, Werner Kluge
    Pages 214-230
  12. Back Matter

    Pages 267-267

Editors and Affiliations

  • Lehrstuhl für Informatik II, RWTH Aachen, Aachen, Germany

    Markus Mohnen

  • KUN Nijmegen, ED Nijmegen, The Netherlands

    Pieter Koopman

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access