ML for the Working Programmer

Front Cover
Cambridge University Press, Jun 28, 1996 - Computers - 476 pages
3 Reviews
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
VI
3
VII
5
IX
9
X
11
XII
13
XIII
15
CXXIII
192
CXXIV
194
CXXV
197
CXXVI
201
CXXVII
204
CXXIX
207
CXXX
208
CXXXI
210

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

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information