Abstract is missing.
- Functional Instrumentation of ActionScript Programs with AsilArie Middelkoop, Alexander B. Elyasov, Wishnu Prasetya. 1-16 [doi]
- Fairness for Transactional EventsEdward Amsden, Matthew Fluet. 17-34 [doi]
- Implementing a High-Level Distributed-Memory Parallel Haskell in HaskellPatrick Maier, Philip W. Trinder. 35-50 [doi]
- Challenges for a Trace-Based Just-In-Time Compiler for HaskellThomas Schilling. 51-68 [doi]
- Lazy Generation of Canonical Test ProgramsJason S. Reich, Matthew Naylor, Colin Runciman. 69-84 [doi]
- Generic Monadic Constructs for Embedded LanguagesAnders Persson, Emil Axelsson, Josef Svenningsson. 85-99 [doi]
- From Stack Traces to Lazy Rewriting SequencesStephen Chang, Eli Barzilay, John Clements, Matthias Felleisen. 100-115 [doi]
- Model Based Testing with Logical Properties versus State MachinesPieter W. M. Koopman, Peter Achten, Rinus Plasmeijer. 116-133 [doi]
- Property-Based Testing and Verification: A Catalog of Classroom ExamplesRex Page. 134-147 [doi]
- Describing and Optimising Reversible Logic Using a Functional LanguageMichael Kirkedal Thomsen. 148-163 [doi]
- Hardware Design with Generalized ArrowsAdam Megacz. 164-180 [doi]