Abstract is missing.
- Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code TransformationsAlfredo Cristóbal-Salas, Andrey Chernykh, Edelmira Rodríguez-Alcantar, Jean-Luc Gaudiot. 1-16 [doi]
- The Feasibility of Interactively Probing Quiescent Properties of GUI ApplicationsPeter Achten. 17-34 [doi]
- A Functional Programming Technique for Forms in Graphical User InterfacesSander Evers, Peter Achten, Jan Kuper. 35-51 [doi]
- A Rational Deconstruction of Landin s SECD MachineOlivier Danvy. 52-71 [doi]
- Explaining ML Type Errors by Data FlowsHolger Gast. 72-89 [doi]
- V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive FunctionsBaltasar Trancón-y-Widemann. 90-107 [doi]
- A Virtual Machine for Functional Logic ComputationsSergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach. 108-125 [doi]
- Source-Based Trace ExplorationOlaf Chitil. 126-141 [doi]
- Shrinking Reductions in SML.NETNick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo. 142-159 [doi]
- Dynamic Construction of Generic FunctionsRonny Wichers Schreur, Marinus J. Plasmeijer. 160-176 [doi]
- Reasoning About Deterministic Concurrent Functional I/OMalcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen. 177-194 [doi]
- General Homomorphic OverloadingAlexander V. Shafarenko, Sven-Bodo Scholz. 195-210 [doi]
- Simple, Effective Code-Size Reduction for Functional ProgramsEkaterina Stefanov, Anthony M. Sloane. 211-225 [doi]