Skip to main content
  • Conference proceedings
  • © 2012

Implementation and Application of Functional Languages

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

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

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

Conference proceedings info: IFL 2011.

Buy it now

Buying options

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

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (11 papers)

  1. Front Matter

  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. Lazy Generation of Canonical Test Programs

    • Jason S. Reich, Matthew Naylor, Colin Runciman
    Pages 69-84
  5. Generic Monadic Constructs for Embedded Languages

    • Anders Persson, Emil Axelsson, Josef Svenningsson
    Pages 85-99
  6. From Stack Traces to Lazy Rewriting Sequences

    • Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen
    Pages 100-115
  7. Model Based Testing with Logical Properties versus State Machines

    • Pieter Koopman, Peter Achten, Rinus Plasmeijer
    Pages 116-133
  8. Hardware Design with Generalized Arrows

    • Adam Megacz
    Pages 164-180
  9. Back Matter

Other Volumes

  1. Implementation and Application of Functional Languages

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

Buy it now

Buying options

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