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.

Dentro del libro

Comentarios de la gente - Escribir un comentario

No encontramos ningún comentario en los lugares habituales.

Contenido

III
1
IV
2
VI
3
VII
5
IX
9
X
11
XII
13
XIII
15
CXX
192
CXXI
194
CXXII
197
CXXIII
201
CXXIV
204
CXXVI
207
CXXVII
208
CXXVIII
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
LXXXII
124
LXXXIV
127
LXXXV
128
LXXXVI
130
LXXXVII
134
LXXXIX
135
XC
136
XCI
138
XCII
140
XCIII
141
XCIV
142
XCV
145
XCVI
146
XCVII
148
XCVIII
149
XCIX
154
C
159
CI
164
CIII
166
CIV
167
CV
170
CVI
171
CVII
172
CIX
173
CX
176
CXI
177
CXII
179
CXIV
180
CXV
182
CXVI
184
CXVII
185
CXVIII
188
CXIX
191
CXXIX
211
CXXX
213
CXXXI
214
CXXXIII
216
CXXXIV
220
CXXXV
224
CXXXVI
225
CXXXVII
229
CXXXVIII
233
CXXXIX
237
CXL
238
CXLI
242
CXLII
246
CXLIII
248
CXLIV
249
CXLV
251
CXLVI
254
CXLVII
256
CXLVIII
257
CXLIX
258
CLI
259
CLII
260
CLIII
261
CLIV
263
CLVI
264
CLVII
266
CLVIII
269
CLIX
271
CLX
272
CLXI
275
CLXII
280
CLXIII
285
CLXV
290
CLXVI
294
CLXVII
299
CLXVIII
305
CLXIX
308
CLXX
309
CLXXI
311
CLXXII
312
CLXXIII
313
CLXXVI
314
CLXXVIII
317
CLXXIX
321
CLXXX
326
CLXXXI
327
CLXXXII
331
CLXXXIII
335
CLXXXIV
340
CLXXXVI
344
CLXXXVII
346
CLXXXVIII
351
CLXXXIX
356
CXC
357
CXCIV
358
CXCV
360
CXCVI
363
CXCVII
367
CXCVIII
372
CXCIX
375
CC
378
CCI
381
CCII
382
CCIII
384
CCIV
385
CCV
388
CCVI
389
CCVII
393
CCVIII
396
CCIX
397
CCX
398
CCXI
399
CCXII
400
CCXIII
403
CCXIV
404
CCXV
407
CCXVII
411
CCXVIII
416
CCXIX
420
CCXXI
421
CCXXII
424
CCXXIII
426
CCXXIV
428
CCXXV
430
CCXXVII
433
CCXXVIII
436
CCXXIX
440
CCXXX
445
CCXXXI
449
CCXXXII
457
CCXXXIII
469
Derechos de autor

Otras ediciones - Ver todas

Términos y frases comunes

Información bibliográfica