ghc/docs/add_to_compiler/paper.bbl

   1 \begin{thebibliography}{10}
   2
   3 \bibitem{hudak91a}
   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.
   7
   8 \bibitem{hammond89a}
   9 Kevin Hammond.
  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.
  13
  14 \bibitem{partain92a}
  15 Will Partain.
  16 \newblock The {\tt nofib} benchmark suite of {Haskell} programs, 1992.
  17
  18 \bibitem{peyton-jones87b}
  19 Simon~L. {Peyton Jones}.
  20 \newblock {\em The Implementation of Functional Programming Languages}.
  21 \newblock Prentice-Hall, 1987.
  22
  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.
  28 \newblock To appear.
  29
  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
  33   language.
  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.
  37   Springer-Verlag.
  38
  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.
  43
  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.
  48
  49 \bibitem{wadler90a}
  50 Philip Wadler.
  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.
  54
  55 \bibitem{wadler90b}
  56 Philip Wadler.
  57 \newblock A simple type inference algorithm, 1990.
  58 \newblock Dept.~of Computing Science, University of Glasgow.
  59
  60 \bibitem{wadler92a}
  61 Philip Wadler.
  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.
  65
  66 \bibitem{wadler89a}
  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.
  71
  72 \end{thebibliography}