Abstract is missing.
- A Framework for Point-Free Program TransformationAlcino Cunha, Jorge Sousa Pinto, José Proença. 1-18 [doi]
- Encoding Strategies in the Lambda Calculus with Interaction NetsIan Mackie. 19-36 [doi]
- Proof Tool Support for Explicit StrictnessMarko C. J. D. van Eekelen, Maarten de Mol. 37-54 [doi]
- A Rational Deconstruction of Landin s J OperatorOlivier Danvy, Kevin Millikin. 55-73 [doi]
- A Dependently Typed Framework for Static Analysis of Program Execution CostsEdwin Brady, Kevin Hammond. 74-90 [doi]
- Accurate Step CountingCatherine Hope, Graham Hutton. 91-105 [doi]
- The Implementation of iDataMarinus J. Plasmeijer, Peter Achten. 106-123 [doi]
- A High-Level Implementation of Composable Memory Transactions in Concurrent HaskellFrank Huch, Frank Kupke. 124-141 [doi]
- Polytypic Syntax Tree OperationsArjen van Weelden, Sjaak Smetsers, Marinus J. Plasmeijer. 142-159 [doi]
- Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and ExperiencesAlexander V. Shafarenko, Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, Kai Trojahner. 160-177 [doi]
- With-Loop Fusion for Data Locality and ParallelismClemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz. 178-195 [doi]
- A Document-Centered Environment for HaskellKeith Hanna. 196-211 [doi]
- A Binding Scope Analysis for Generic Programs on ArraysClemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko. 212-230 [doi]