Skip to main content
SpringerLink
Log in

Implementation of Functional Languages

15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Phil Trinder

    1. Dept. of Mathematics and Comp. Sci., Heriot-Watt University, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Greg J. Michaelson

    1. Dept. of Mathematics and Computer Science, Heriot-Watt University, Edinburgh, Scotland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ricardo Peña

    1. Departamento Sistemas Informaticos y Programacin, Facultad de Informatica, Universidad Complutense de Madrid, Madrid, Spain

    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 3145)

Included in the following conference series:

Conference proceedings info: IFL 2003.

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

    Download chapter PDF

  2. Implementation of Functional Languages

    1. Lazy Assertions

      • Olaf Chitil, Dan McNeill, Colin Runciman
      Pages 1-19

    2. Language Constructs and Programming

      1. Interfacing Haskell with Object-Oriented Languages
        • André T. H. Pang, Manuel M. T. Chakravarty
        Pages 20-35
      2. A Functional Shell That Dynamically Combines Compiled Code
        • Arjen van Weelden, Rinus Plasmeijer
        Pages 36-52

    3. Static Analysis and Types

      1. Polymorphic Type Reconstruction Using Type Equations
        • Venkatesh Choppella
        Pages 53-68
      2. Correctness of Non-determinism Analyses in a Parallel-Functional Language
        • Clara Segura, Ricardo Peña
        Pages 69-85
      3. Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs
        • Pedro B. Vasconcelos, Kevin Hammond
        Pages 86-101

    4. Paralelism

      1. Dynamic Chunking in Eden
        • Jost Berthold
        Pages 102-117
      2. With-Loop Scalarization – Merging Nested Array Operations
        • Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
        Pages 118-134
      3. Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
        • Rafael Martínez, Ricardo Peña
        Pages 135-151
      4. Generic Graphical User Interfaces
        • Peter Achten, Marko van Eekelen, Rinus Plasmeijer
        Pages 152-167
      5. Polytypic Programming in Haskell
        • Ulf Norell, Patrik Jansson
        Pages 168-184

  3. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Implementation of Functional Languages

Keywords

Editors and Affiliations

  • Dept. of Mathematics and Comp. Sci., Heriot-Watt University, Edinburgh, UK

    Phil Trinder

  • Dept. of Mathematics and Computer Science, Heriot-Watt University, Edinburgh, Scotland

    Greg J. Michaelson

  • Departamento Sistemas Informaticos y Programacin, Facultad de Informatica, Universidad Complutense de Madrid, Madrid, Spain

    Ricardo Peña

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation