Skip to main content
SpringerLink
Log in

Implementation and Application of Functional Languages

19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Olaf Chitil
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zoltán Horváth
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Viktória Zsók
    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 5083)

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

Included in the following conference series:

Conference proceedings info: IFL 2007.

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 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.00
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 (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Graph Parser Combinators

    • Steffen Mazanek, Mark Minas
    Pages 1-18

  3. Testing Erlang Refactorings with QuickCheck

    • Huiqing Li, Simon Thompson
    Pages 19-36

  4. Optimal Lambda Lifting in Quadratic Time

    • Marco T. Morazán, Ulrik P. Schultz
    Pages 37-56

  5. The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity

    • Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
    Pages 57-74

  6. XHaskell – Adding Regular Expression Types to Haskell

    • Martin Sulzmann, Kenny Zhuo Ming Lu
    Pages 75-92

  7. Partial Parsing: Combining Choice with Commitment

    • Malcolm Wallace
    Pages 93-110

  8. Lazy Contract Checking for Immutable Data Structures

    • Robert Bruce Findler, Shu-yu Guo, Anne Rogers
    Pages 111-128

  9. The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA

    • Matthew Naylor, Colin Runciman
    Pages 129-146

  10. A Supercompiler for Core Haskell

    • Neil Mitchell, Colin Runciman
    Pages 147-164

  11. Checking Dependent Types Using Compiled Code

    • Dirk Kleeblatt
    Pages 165-182

  12. Debugging Lazy Functional Programs by Asking the Oracle

    • Bernd Braßel, Holger Siegel
    Pages 183-200

  13. Uniqueness Typing Simplified

    • Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson
    Pages 201-218

  14. Tabular Expressions and Total Functional Programming

    • Baltasar Trancón y Widemann, David Lorge Parnas
    Pages 219-236

  15. Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler

    • Marc Feeley
    Pages 237-253

  16. From Contracts Towards Dependent Types: Proofs by Partial Evaluation

    • Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner
    Pages 254-273

  17. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Implementation and Application of Functional Languages

Keywords

About this book

This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation