TY  - BOOK
AU  - Gill,Andy
AU  - Hage,Jurriaan
TI  - Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers 
SN  - 9783642344077
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer programming
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Mathematical logic
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-34407-7
ER  -