Skip to main content
  • Conference proceedings
  • © 2005

Implementation of Functional Languages

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

Conference proceedings info: IFL 2003.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (11 papers)

  1. Front Matter

  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

    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. Generic Graphical User Interfaces
        • Peter Achten, Marko van Eekelen, Rinus Plasmeijer
        Pages 152-167
      4. Polytypic Programming in Haskell
        • Ulf Norell, Patrik Jansson
        Pages 168-184
  3. Back Matter

Other Volumes

  1. Implementation of Functional Languages

Keywords

  • algorithm
  • algorithms
  • functional programming
  • functional programming languages
  • functional theorem proving
  • generic programming
  • haskell programming
  • higher-order functional programs
  • programming
  • programming languages implementation
  • type systems

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions