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