pattern_guard_list_comprehension_footnote
[haskell-report.git] / report / haskell.bbl
1 %**<title>The Haskell 1.3 Report: Bibliography</title>
2 %**~eheader
3
4 \begin{thebibliography}{10}
5
6 \bibitem{back78}
7 J.~Backus.
8 \newblock Can programming be liberated from the von {N}eumann style? {A}
9   functional style and its algebra of programs.
10 \newblock {\em CACM}, 21(8):613--641, August 1978.
11
12 \bibitem{curry&feys:book}
13 H.B.~Curry and R.~Feys.
14 \newblock {\em Combinatory Logic}.
15 \newblock North-Holland Pub. Co., Amsterdam, 1958.
16
17 \bibitem{damas-milner82}
18 L.~Damas and R.~Milner.
19 \newblock Principal type schemes for functional programs.
20 \newblock In {\em Proceedings of the 9th ACM Symposium on Principles of
21   Programming Languages}, pages 207--212, Albuquerque, N.M., January 1982.
22
23 \bibitem{faxen:static}
24 K-F.~Fax\'en
25 \newblock A static semantics for Haskell
26 \newblock {\em Journal of Functional Programming}, 2002.
27
28 \bibitem{hindley69}
29 J.R.~Hindley.
30 \newblock The principal type scheme of an object in combinatory logic.
31 \newblock {\em Transactions of the American Mathematical Society}, 146:29--60,
32   December 1969.
33
34 \bibitem{tutorial}
35 P.~Hudak, J.~Fasel, and J.~Peterson.
36 \newblock A gentle introduction to {H}askell.
37 \newblock Technical Report YALEU/DCS/RR-901, Yale University, May 1996.
38
39 \bibitem{jones:cclasses}
40 Mark~P.~Jones.
41 \newblock A system of constructor classes: overloading and implicit
42   higher-order polymorphism.
43 \newblock {\em Journal of Functional Programming}, 5(1), January 1995.
44
45 \bibitem{jones:thih}
46 Mark~P.~Jones.
47 \newblock Typing Haskell in Haskell.
48 \newblock {\em Haskell Workshop}, Paris, October 1999.
49
50 \bibitem{penfield:complex-apl}
51 P.~Penfield, Jr.
52 \newblock Principal values and branch cuts in complex {APL}.
53 \newblock In {\em APL '81 Conference Proceedings}, pages 248--256, San
54   Francisco, September 1981.
55
56 \bibitem{peyton-jones:book}
57 S.L.~Peyton~Jones.
58 \newblock {\em The Implementation of Functional Programming Languages}.
59 \newblock Prentice-Hall International, Englewood Cliffs, New Jersey, 1987.
60
61 \bibitem{unicode}
62 {Unicode Consortium}.
63 \newblock {\em The Unicode Standard, Version 3.0}.
64 \newblock Addison Wesley, Reading, MA, 2000.
65
66 \bibitem{wadler:classes}
67 P.~Wadler and S.~Blott.
68 \newblock How to make {\em ad hoc} polymorphism less {\em ad hoc}.
69 \newblock In {\em Proceedings of the 16th ACM Symposium on Principles of
70   Programming Languages}, pages 60--76, Austin, Texas, January 1989.
71
72 \end{thebibliography}
73 %**~efooter