1. Hudak, P., S. L. Peyton Jones, and P. Wadler, editors, Report on the Programming Language Haskell, version 1.2, ACM Sigplan Notices, 27(5), 1992.
2. Kubiak, R., J. Hughes and J. Launchbury, A projection-based strictness analyser for a Haskell compiler, in preparation.
3. Peyton Jones, S. L., Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine, Journal of Functional Programming, Vol. 2, No. 2, April 1992, pp. 127–202.
4. Peyton Jones, S. L. and P. Wadler, Imperative functional programming. To appear in Proceedings of the 20’th Annual Symposium on Principles of Programming Languages, January 1993.
5. Peyton Jones, S. L. and J. Launchbury, Unboxed values as first class citizens, Conference on Functional Programming and Computer Architecture, 1991.