ML for the Working Programmer

Front Cover
Cambridge University Press, Jun 28, 1996 - Computers - 476 pages
The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which the author extensively uses throughout. In addition, Paulson has totally rewritten the first chapter to make the book more accessible to students who have no experience of programming languages. The author describes the main features of new Standard Library for the revised version of ML, and gives many new examples, e.g. polynomial arithmetic and new ways of treating priority queues. Finally he has completely updated the references. Dr. Paulson has extensive practical experience of ML, and has stressed its use as a tool for software engineering; the book contains many useful pieces of code, which are freely available (via Internet) from the author. He shows how to use lists, trees, higher-order functions and infinite data structures. He includes many illustrative and practical examples, covering sorting, matrix operations, and polynomial arithmetic. He describes efficient functional implementations of arrays, queues, and priority queues. Larger examples include a general top-down parser, a lambda-calculus reducer and a theorem prover. A chapter is devoted to formal reasoning about functional programs. The combination of careful explanation and practical advice will ensure that this textbook continues to be the preferred text for many courses on ML for students at all levels.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

III
1
IV
2
V
3
VI
5
VIII
9
IX
11
XI
13
XII
15
CXVIII
192
CXIX
194
CXX
197
CXXI
201
CXXII
204
CXXIII
207
CXXIV
208
CXXV
210

XIII
17
XV
18
XVII
19
XVIII
21
XIX
22
XXI
24
XXII
26
XXIII
27
XXIV
28
XXV
29
XXVI
32
XXVII
36
XXVIII
38
XXIX
39
XXX
40
XXXI
44
XXXII
48
XXXIII
49
XXXIV
52
XXXV
53
XXXVI
54
XXXVII
55
XXXVIII
56
XXXIX
59
XL
60
XLI
62
XLII
63
XLIII
64
XLIV
65
XLV
67
XLVI
69
XLVIII
70
L
72
LI
74
LIII
76
LIV
78
LV
81
LVI
82
LVII
83
LVIII
85
LIX
87
LX
89
LXI
90
LXII
93
LXIII
95
LXIV
96
LXV
97
LXVI
101
LXVII
102
LXVIII
108
LXX
109
LXXI
110
LXXII
111
LXXIII
114
LXXIV
115
LXXV
116
LXXVI
117
LXXVII
119
LXXVIII
121
LXXIX
123
LXXX
124
LXXXII
127
LXXXIII
128
LXXXIV
130
LXXXV
134
LXXXVII
135
LXXXVIII
136
LXXXIX
138
XC
140
XCI
141
XCII
142
XCIII
145
XCIV
146
XCV
148
XCVI
149
XCVII
154
XCVIII
159
XCIX
164
CI
166
CII
167
CIII
170
CIV
171
CV
172
CVII
173
CVIII
176
CIX
177
CX
179
CXII
180
CXIII
182
CXIV
184
CXV
185
CXVI
188
CXVII
191
CXXVI
211
CXXVII
213
CXXVIII
214
CXXIX
216
CXXX
220
CXXXI
224
CXXXII
225
CXXXIII
229
CXXXIV
233
CXXXV
237
CXXXVI
238
CXXXVII
242
CXXXVIII
246
CXXXIX
248
CXL
249
CXLI
251
CXLII
254
CXLIII
256
CXLIV
257
CXLV
258
CXLVI
259
CXLVII
260
CXLVIII
261
CXLIX
263
CLI
264
CLII
266
CLIII
269
CLIV
271
CLV
272
CLVI
275
CLVII
280
CLVIII
285
CLIX
290
CLX
294
CLXI
299
CLXII
305
CLXIII
308
CLXIV
309
CLXV
311
CLXVI
312
CLXVII
313
CLXX
314
CLXXII
317
CLXXIII
321
CLXXIV
326
CLXXV
327
CLXXVI
331
CLXXVII
335
CLXXVIII
340
CLXXX
344
CLXXXI
346
CLXXXII
351
CLXXXIII
356
CLXXXIV
357
CLXXXVIII
358
CLXXXIX
360
CXC
363
CXCI
367
CXCII
372
CXCIII
375
CXCIV
378
CXCV
381
CXCVI
382
CXCVII
384
CXCVIII
385
CXCIX
388
CC
389
CCI
393
CCII
396
CCIII
397
CCIV
398
CCV
399
CCVI
400
CCVII
403
CCVIII
404
CCIX
407
CCXI
411
CCXII
416
CCXIII
420
CCXV
421
CCXVI
424
CCXVII
426
CCXVIII
428
CCXIX
430
CCXXI
433
CCXXII
436
CCXXIII
440
CCXXIV
445
CCXXV
449
CCXXVI
457
CCXXVII
469
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information