1 \begin{thebibliography}{10}
4 Report on the programming language {Haskell}, a non-strict purely functional
5 language ({Version} 1.1), August, 1991.
6 \newblock Computing Science Department, Glasgow University, forthcoming.
10 \newblock Implementing type classes for {Haskell}.
11 \newblock In {\em Proceedings of the Glasgow Workshop on Functional
12 Programming}, page ????, Fraserburgh, Scotland, August, 1989.
16 \newblock The {\tt nofib} benchmark suite of {Haskell} programs, 1992.
18 \bibitem{peyton-jones87b}
19 Simon~L. {Peyton Jones}.
20 \newblock {\em The Implementation of Functional Programming Languages}.
21 \newblock Prentice-Hall, 1987.
23 \bibitem{peyton-jones92a}
24 Simon~L. {Peyton Jones}.
25 \newblock Implementing lazy functional languages on stock hardware: the
26 {Spineless Tagless G-machine}.
27 \newblock {\em Journal of Functional Programming}, 1992.
30 \bibitem{peyton-jones91b}
31 Simon~L. {Peyton Jones} and John Launchbury.
32 \newblock Unboxed values as first class citizens in a non-strict functional
34 \newblock In John Hughes, editor, {\em Functional Programming Languages and
35 Computer Architecture (FPCA)}, volume 523 of {\em Lecture Notes in Computer
36 Science}, pages 636--666, Cambridge, MA, August 26--30, 1991.
39 \bibitem{peyton-jones90a}
40 Simon~L. {Peyton Jones} and Philip Wadler.
41 \newblock A static semantics for {Haskell}, 1990.
42 \newblock Dept.~of Computing Science, University of Glasgow.
44 \bibitem{peyton-jones92b}
45 Simon~L. {Peyton Jones} and Philip Wadler.
46 \newblock Imperative functional programming (extended abstract), 1992.
47 \newblock To be in POPL~'93.
51 \newblock Comprehending monads.
52 \newblock In {\em Proceedings of the 1990 ACM Conference on {LISP} and
53 Functional Programming}, pages 61--78, Nice, France, June 27--29, 1990.
57 \newblock A simple type inference algorithm, 1990.
58 \newblock Dept.~of Computing Science, University of Glasgow.
62 \newblock The essence of functional programming.
63 \newblock In {\em 19th ACM Symposium on Principles of Programming Languages
64 (POPL)}, page ?????, Santa Fe, NM, January ????, 1992.
67 Philip~L. Wadler and Stephen Blott.
68 \newblock How to make {\em ad-hoc\/} polymorphism less {\em ad hoc\/}.
69 \newblock In {\em 16th ACM Symposium on Principles of Programming Languages
70 (POPL)}, pages 60--76, Austin, TX, January 11--13, 1989.