Implementation and Application of Functional Languages [E-Book] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage.
Gill, Andy.
Hage, Jurriaan.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
X, 181 p. 68 illus. digital.
Lecture notes in computer science ; 7257
Full Text
Table of Contents:
  • Functional Instrumentation of ActionScript Programs with Asil
  • Fairness for Transactional Events
  • Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell
  • Challenges for a Trace-Based Just-In-Time Compiler for Haskell
  • Lazy Generation of Canonical Test Programs
  • Generic Monadic Constructs for Embedded Languages
  • From Stack Traces to Lazy Rewriting Sequences
  • Model Based Testing with Logical Properties versus State Machines
  • Property-Based Testing and Verification: A Catalog of Classroom Examples
  • Describing and Optimising Reversible Logic Using a Functional Language
  • Hardware Design with Generalized Arrows.