Skip to main content
SpringerLink
Log in
Book cover

Implementation and Application of Functional Languages

23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Andy Gill

    1. Department of Electrical Engineering and Computer Science, University of Kansas, Lawrence, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jurriaan Hage

    1. Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

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

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

Included in the following conference series:

Conference proceedings info: IFL 2011.

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

  1. Front Matter

    Download chapter PDF

  2. Functional Instrumentation of ActionScript Programs with Asil

    • Arie Middelkoop, Alexander B. Elyasov, Wishnu Prasetya
    Pages 1-16

  3. Fairness for Transactional Events

    • Edward Amsden, Matthew Fluet
    Pages 17-34

  4. Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell

    • Patrick Maier, Phil Trinder
    Pages 35-50

  5. Challenges for a Trace-Based Just-In-Time Compiler for Haskell

    • Thomas Schilling
    Pages 51-68

  6. Lazy Generation of Canonical Test Programs

    • Jason S. Reich, Matthew Naylor, Colin Runciman
    Pages 69-84

  7. Generic Monadic Constructs for Embedded Languages

    • Anders Persson, Emil Axelsson, Josef Svenningsson
    Pages 85-99

  8. From Stack Traces to Lazy Rewriting Sequences

    • Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen
    Pages 100-115

  9. Model Based Testing with Logical Properties versus State Machines

    • Pieter Koopman, Peter Achten, Rinus Plasmeijer
    Pages 116-133

  10. Property-Based Testing and Verification: A Catalog of Classroom Examples

    • Rex Page
    Pages 134-147

  11. Describing and Optimising Reversible Logic Using a Functional Language

    • Michael Kirkedal Thomsen
    Pages 148-163

  12. Hardware Design with Generalized Arrows

    • Adam Megacz
    Pages 164-180

  13. 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-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. The 11 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers by researchers and practitioners who are actively engaged in the implementation and the use of functional and function based programming languages describe practical and theoretical work as well as applications and tools. They discuss new ideas and concepts, as well as work in progress and results.

Editors and Affiliations

  • Department of Electrical Engineering and Computer Science, University of Kansas, Lawrence, USA

    Andy Gill

  • Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands

    Jurriaan Hage

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation