Skip to main content
  • Conference proceedings
  • © 2007

Implementation and Application of Functional Languages

18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): IFL: International Symposium on Implementation and Application of Functional Languages

Conference proceedings info: IFL 2006.

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 (15 papers)

  1. Front Matter

  2. On Optimising Shape-Generic Array Programs Using Symbolic Structural Information

    • Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz
    Pages 1-18
  3. Index Vector Elimination – Making Index Vectors Affordable

    • Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alex Shafarenko
    Pages 19-36
  4. Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages

    • Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio
    Pages 55-72
  5. Parallel Coordination Made Explicit in a Functional Setting

    • Jost Berthold, Rita Loogen
    Pages 73-90
  6. Low-Level Programming in Hume: An Exploration of the HW-Hume Level

    • Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
    Pages 91-107
  7. A Conference Management System Based on the iData Toolkit

    • Rinus Plasmeijer, Peter Achten
    Pages 108-125
  8. A Pattern Logic for Prompt Lazy Assertions in Haskell

    • Olaf Chitil, Frank Huch
    Pages 126-144
  9. Ivor, a Proof Engine

    • Edwin Brady
    Pages 145-162
  10. Uniqueness Typing Redefined

    • Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson
    Pages 181-198
  11. Heuristics for Type Error Discovery and Recovery

    • Jurriaan Hage, Bastiaan Heeren
    Pages 199-216
  12. Testing Properties of Generic Functions

    • Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak et al.
    Pages 217-234
  13. Worst-Case Execution Times for a Purely Functional Language

    • Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann
    Pages 235-252
  14. Automatic Partial Inversion of Inductively Sequential Functions

    • Jesús M. Almendros-Jiménez, Germán Vidal
    Pages 253-270
  15. Back Matter

Other Volumes

  1. Implementation and Application of Functional Languages

Keywords

  • Debugging
  • Haskell
  • Haskell programming
  • ML programming
  • function-based programming
  • functional logic computation
  • functional progamming languages
  • functional programming
  • functional theorem proving
  • graph rewriting
  • logic
  • mathematical semantics
  • parallel functional programming
  • programming
  • verification

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