ML for the Working Programmer

Portada
Cambridge University Press, 1996 M06 28 - 476 páginas
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.
 

Comentarios de la gente - Escribir un comentario

No encontramos ningún comentario en los lugares habituales.

Contenido

III
1
IV
2
V
3
VI
5
VIII
9
IX
11
XI
13
XII
15
CXX
192
CXXI
194
CXXII
197
CXXIII
201
CXXIV
204
CXXV
207
CXXVI
208
CXXVII
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
CVII
172
CIX
173
CX
176
CXI
177
CXII
179
CXIV
180
CXV
182
CXVI
184
CXVII
185
CXVIII
188
CXIX
191
CXXVIII
211
CXXIX
213
CXXX
214
CXXXI
216
CXXXII
220
CXXXIII
224
CXXXIV
225
CXXXV
229
CXXXVI
233
CXXXVII
237
CXXXVIII
238
CXXXIX
242
CXL
246
CXLI
248
CXLII
249
CXLIII
251
CXLIV
254
CXLV
256
CXLVI
257
CXLVII
258
CXLVIII
259
CXLIX
260
CL
261
CLI
263
CLIII
264
CLIV
266
CLV
269
CLVI
271
CLVII
272
CLVIII
275
CLIX
280
CLX
285
CLXI
290
CLXII
294
CLXIII
299
CLXIV
305
CLXV
308
CLXVI
309
CLXVII
311
CLXVIII
312
CLXIX
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
Derechos de autor

Otras ediciones - Ver todas

Términos y frases comunes

Información bibliográfica