Skip to main content
SpringerLink
Log in
Book cover

Implementation of Functional Languages

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Thomas Arts

    1. Computer Science Laboratory, Ericsson, Älvsjö, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Markus Mohnen

    1. Lehrstuhl für Informatik II, RWTH Aachen, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: IFL 2001.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Pages I-VII
    Download chapter PDF

  2. Sized Types for Typing Eden Skeletons

    • Ricardo Pena, Clara Segura
    Pages 1-17

  3. A Compilation Scheme for a Hierarchy of Array Types

    • Dietmar Kreye
    Pages 18-35

  4. Optimizations on Array Skeletons in a Shared Memory Environment

    • Clemens Grelck
    Pages 36-54

  5. Theorem Proving for Functional Programmers

    • Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer
    Pages 55-71

  6. Proving Correctness of Programs with IO —A Paradigm Comparison

    • Andrew Butterfield, Glenn Strong
    Pages 72-87

  7. Proving the Correctness of the STG Machine

    • Alberto de la Encina, Ricardo Pena
    Pages 88-104

  8. Dynamic Cheap Eagerness

    • Karl-Filip Faxén
    Pages 105-120

  9. A Polynomial-Cost Non-determinism Analysis

    • Ricardo Pena, Clara Segura
    Pages 121-137

  10. Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler

    • Norman Scaife, Greg Michaelson, Susumu Horiguchi
    Pages 138-154

  11. Runtime Behavior of Conversion Interpretation of Subtyping

    • Yasuhiko Minamide
    Pages 155-167

  12. A Generic Programming Extension for Clean

    • Artem Alimarine, Rinus Plasmeijer
    Pages 168-185

  13. Back Matter

    Pages 187-187
    Download chapter PDF
Back to top

Other volumes

  1. Implementation of Functional Languages

Keywords

Editors and Affiliations

  • Computer Science Laboratory, Ericsson, Älvsjö, Sweden

    Thomas Arts

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

    Markus Mohnen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation