-
Notifications
You must be signed in to change notification settings - Fork 0
/
examples.html
103 lines (102 loc) · 3.2 KB
/
examples.html
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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
<html>
<head>
<title>
Bibliography
</title>
</head>
<body>
<a href="dijkstra1959note">
[D59]
</a>
|
<a href="hoare1962quicksort">
[H62]
</a>
|
<a href="hudak1992report">
[HJWBFFGHHJ92]
</a>
|
<a href="loeh03dependency">
[LCJ03]
</a>
|
<a href="pierce02types">
[P02]
</a>
<hr>
</hr>
<table border="0">
<tr valign="top">
<td>
<a name="dijkstra1959note">
[D59]
</a>
</td>
<td>
Dijkstra, Edsger W.
<em>
A note on two problems in connexion with graphs.
</em>
, pages 269--271. Springer, 1959.
</td>
</tr>
<tr valign="top">
<td>
<a name="hoare1962quicksort">
[H62]
</a>
</td>
<td>
Hoare, Charles AR.
<em>
Quicksort.
</em>
, pages 10--16. Br Computer Soc, 1962.
</td>
</tr>
<tr valign="top">
<td>
<a name="hudak1992report">
[HJWBFFGHHJ92]
</a>
</td>
<td>
Hudak, Paul and Peyton Jones, Simon and Wadler, Philip and Boutel, Brian and Fairbairn, Jon and Fasel, Joseph and Guzmán, María M and Hammond, Kevin and Hughes, John and Johnsson, Thomas and others.
<em>
Report on the programming language Haskell: a non-strict, purely functional language version 1.2.
</em>
, pages 1--164. ACM, 1992.
</td>
</tr>
<tr valign="top">
<td>
<a name="loeh03dependency">
[LCJ03]
</a>
</td>
<td>
Löh, Andres and Clarke, Dave and Jeuring, Johan.Dependency-style Generic Haskell. In: Runciman, Colin and Shivers, Olin, editors,
<em>
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25--29, 2003
</em>
, pages 141--152. ACM Press, 2003.
</td>
</tr>
<tr valign="top">
<td>
<a name="pierce02types">
[P02]
</a>
</td>
<td>
Pierce, Benjamin C..
<em>
Types and Programming Languages.
</em>
The MIT Press, Cambridge, Massachusetts, 2002.
</td>
</tr>
</table>
</body>
</html>