5
5
# Books
6
6
## Books in English
7
7
### The OCaml System: Documentation and User's Manual
8
- <img src =" /img/colour-icon-170x148.png " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
8
+ <img src =" /img/colour-icon-170x148.png " style =" float : left ; margin-right : 15px ; margin-bottom : 40 px ; margin-top : 18 px " ></img >
9
9
10
10
* Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy, and Jérôme
11
11
Vouillon*
@@ -24,7 +24,7 @@ Tarball](http://caml.inria.fr/distrib/ocaml-{{! get LATEST_OCAML_VERSION_MAIN !}
24
24
****
25
25
26
26
### Real World OCaml
27
- <img src =" /img/real-world-ocaml.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
27
+ <img src =" /img/real-world-ocaml.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 100 px ; margin-top : 20 px " ></img >
28
28
29
29
* Jason Hickey, Anil Madhavapeddy, and Yaron Minsky. Published 25th November 2013*
30
30
@@ -47,7 +47,7 @@ readable code.
47
47
****
48
48
49
49
### OCaml from the Very Beginning
50
- <img src =" /img/OCaml_from_beginning.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
50
+ <img src =" /img/OCaml_from_beginning.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 100 px ; margin-top : 18 px " ></img >
51
51
52
52
* John Whitington. Published June 7th, 2013*
53
53
@@ -66,7 +66,7 @@ and hints.
66
66
****
67
67
68
68
### More OCaml: Algorithms, Methods & Diversions
69
- <img src =" /img/more-ocaml-300-376.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
69
+ <img src =" /img/more-ocaml-300-376.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 135 px ; margin-top : 19 px " ></img >
70
70
71
71
* John Whitington. Published 26th August 2014*
72
72
@@ -89,7 +89,7 @@ the front of the book.
89
89
****
90
90
91
91
### Unix System Programming in OCaml
92
- <img src =" /img/default.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
92
+ <img src =" /img/default.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 50 px ; margin-top : 6 px " ></img >
93
93
94
94
* Xavier Leroy and Didier Rémy. Published May 2010*
95
95
@@ -105,7 +105,7 @@ Unix shell commands.
105
105
****
106
106
107
107
### OCaml for Scientists
108
- <img src =" /img/harrop-book.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
108
+ <img src =" /img/harrop-book.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 50 px ; margin-top : 18 px " ></img >
109
109
110
110
* Jon D. Harrop<br />
111
111
Flying Frog Consultancy Ltd, 2005.*
@@ -126,7 +126,7 @@ Information](http://www.ffconsultancy.com/products/ocaml_for_scientists/index.ht
126
126
****
127
127
128
128
### Using, Understanding, and Unraveling OCaml
129
- <img src =" /img/default.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
129
+ <img src =" /img/default.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 70 px ; margin-top : 3 px " ></img >
130
130
131
131
* Didier Rémy. Published 20th September 2002*
132
132
@@ -140,7 +140,7 @@ OCaml it is addressed to a wide audience of people interested in modern programm
140
140
****
141
141
142
142
### Developing Applications With OCaml
143
- <img src =" /img/logocaml-oreilly.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ;" ></img >
143
+ <img src =" /img/logocaml-oreilly.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ; margin-top : 12 px " ></img >
144
144
145
145
* Emmanuel Chailloux, Pascal Manoury, Bruno Pagano. Published 2002*
146
146
@@ -156,7 +156,7 @@ translation of a French book published by OReilly.
156
156
****
157
157
158
158
### Introduction to OCaml
159
- <img src =" /img/default.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
159
+ <img src =" /img/default.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 100 px ; margin-top : 2 px " ></img >
160
160
161
161
* Jason Hickey. Published in 2008*
162
162
@@ -170,7 +170,7 @@ Abstract: *This book is an introduction to ML programming, specifically for the
170
170
****
171
171
172
172
### The Functional Approach to Programming
173
- <img src =" /img/cousineau-mauny-en.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
173
+ <img src =" /img/cousineau-mauny-en.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 70 px ; margin-top : 17 px " ></img >
174
174
175
175
* Guy Cousineau, Michel Mauny<br />
176
176
Cambridge University Press, Cambridge, 1998, <br />
@@ -194,7 +194,7 @@ Amazon.com](http://www.amazon.com/exec/obidos/ASIN/0521571839/qid%3D911812711/sr
194
194
****
195
195
196
196
### OCaml Book
197
- <img src =" /img/default.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ;" ></img >
197
+ <img src =" /img/default.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ; margin-top : 2 px " ></img >
198
198
199
199
* Hongbo Zhang. Published 2011*
200
200
@@ -207,7 +207,7 @@ runtime, interoperating with C, and pearls.
207
207
****
208
208
209
209
### Think OCaml: How to Think Like a (Functional) Programmer
210
- <img src =" http://greenteapress.com/thinkocaml/thinkocaml_cover_web.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ;" ></img >
210
+ <img src =" http://greenteapress.com/thinkocaml/thinkocaml_cover_web.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ; margin-top : 17 px " ></img >
211
211
212
212
* Nicholas Monje and Allen Downey. Published 2008*
213
213
@@ -221,12 +221,14 @@ want to learn OCaml.
221
221
[ Book Website] ( http://greenteapress.com/thinkocaml/index.html ) |
222
222
[ PDF] ( http://greenteapress.com/thinkocaml/thinkocaml.pdf )
223
223
224
+ <p >  ; </p >
225
+
224
226
****
225
227
226
228
## Books in French
227
229
228
230
### Initiation à la programmation fonctionnelle en OCaml
229
- <img src =" /img/Initiation_a_la_programmation_fonctionnelle_en_OCaml.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
231
+ <img src =" /img/Initiation_a_la_programmation_fonctionnelle_en_OCaml.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 170 px ; margin-top : 8 px " ></img >
230
232
231
233
* Mohammed-Said Habet<br />
232
234
édition: Edilivre, 2015. ISBN: 9782332978400*
@@ -252,7 +254,7 @@ l’initiative du lecteur.
252
254
****
253
255
254
256
### Apprendre à programmer avec OCaml
255
- <img src =" /img/apprendre_ocaml_cover.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
257
+ <img src =" /img/apprendre_ocaml_cover.png " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 350 px ; margin-top : 17 px " ></img >
256
258
257
259
* Jean-Christophe Filliâtre and Sylvain Conchon<br />
258
260
Éditions Eyrolles, Paris, 2014, ISBN 2-21213-678-1.*
@@ -285,7 +287,7 @@ online.
285
287
****
286
288
287
289
### Développement d'applications avec Objective Caml
288
- <img src =" /img/chailloux-manoury-pagano.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
290
+ <img src =" /img/chailloux-manoury-pagano.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 30 px ; margin-top : 17 px " ></img >
289
291
290
292
* Emmanuel Chailloux, Pascal Manoury, and Bruno Pagano<br />
291
293
Éditions O'Reilly, Paris, 2000, ISBN 2-84177-121-0.*
@@ -302,7 +304,7 @@ programming, and interoperability with C. <br />
302
304
303
305
304
306
### Manuel de référence du langage Caml
305
- <img src =" /img/leroy-weis.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
307
+ <img src =" /img/leroy-weis.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 70 px ; margin-top : 17 px " ></img >
306
308
307
309
* Xavier Leroy and Pierre Weis<br />
308
310
InterEditions, Paris, 1993, ISBN 2-7296-0492-8 (out of print).*
@@ -318,7 +320,7 @@ Intro: "Cet ouvrage contient le manuel de référence du langage Caml et la docu
318
320
319
321
320
322
### Le langage Caml
321
- <img src =" /img/weis-leroy.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
323
+ <img src =" /img/weis-leroy.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 50 px ; margin-top : 18 px " ></img >
322
324
323
325
* Pierre Weis, Xavier Leroy<br />
324
326
Second edition: Dunod, Paris, 1999, ISBN 2-10-004383-8.<br />
@@ -337,7 +339,7 @@ automata, etc.
337
339
****
338
340
339
341
### Approche fonctionnelle de la programmation
340
- <img src =" /img/cousineau-mauny-fr.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
342
+ <img src =" /img/cousineau-mauny-fr.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 70 px ; margin-top : 18 px " ></img >
341
343
342
344
* Guy Cousineau, Michel Mauny<br />
343
345
Ediscience (Collection Informatique), Paris, 1995, ISBN 2-84074-114-8.*
@@ -358,7 +360,7 @@ synthesis.
358
360
****
359
361
360
362
### Seize problèmes d'informatique
361
- <img src =" /img/petazzoni.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
363
+ <img src =" /img/petazzoni.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 50 px ; margin-top : 17 px " ></img >
362
364
363
365
* Bruno Petazzoni<br />
364
366
Éditions Springer, Paris, 2001 <br />
@@ -379,7 +381,7 @@ Page](http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-102-22-2042496-0
379
381
****
380
382
381
383
### Nouveaux exercices d'algorithmique
382
- <img src =" /img/quercia.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ;" ></img >
384
+ <img src =" /img/quercia.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ; margin-top : 16 px " ></img >
383
385
384
386
* Michel Quercia<br />
385
387
Éditions Vuibert, Paris, 2000 <br />
@@ -397,7 +399,7 @@ languages, and automata.
397
399
****
398
400
399
401
### Option informatique MPSI
400
- <img src =" /img/monasse-1.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ;" ></img >
402
+ <img src =" /img/monasse-1.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ; margin-top : 17 px " ></img >
401
403
402
404
* Denis Monasse<br />
403
405
Éditions Vuibert (Enseignement supérieur & ; Informatique), Paris, 1996 <br />
@@ -416,7 +418,7 @@ science.
416
418
****
417
419
418
420
### Option informatique MP/MP*
419
- <img src =" /img/monasse-2.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ;" ></img >
421
+ <img src =" /img/monasse-2.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ; margin-top : 17 px " ></img >
420
422
421
423
* Denis Monasse<br />
422
424
Éditions Vuibert (Enseignement supérieur & ; Informatique), Paris 1997 <br />
@@ -429,10 +431,12 @@ contains more than 200 OCaml programs.
429
431
430
432
[ Order at Amazon.fr] ( http://www.amazon.fr/exec/obidos/ASIN/2711788393 )
431
433
434
+ <p >  ; </p >
435
+
432
436
****
433
437
434
438
### Cours et exercices d'informatique
435
- <img src =" /img/albert.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ;" ></img >
439
+ <img src =" /img/albert.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ; margin-top : 17 px " ></img >
436
440
437
441
* Luc Albert<br />
438
442
Thomson Publishing International, Paris, 1997 <br />
@@ -445,10 +449,12 @@ cursus up to the masters level. It includes a tutorial of the OCaml
445
449
language, a course on algorithms, data structures, automata theory, and
446
450
formal logic, as well as 135 exercises with solutions.
447
451
452
+ <p >  ; </p >
453
+
448
454
****
449
455
450
456
### Concepts et outils de programmation
451
- <img src =" /img/hardin-donzeau-gouge.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
457
+ <img src =" /img/hardin-donzeau-gouge.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 50 px ; margin-top : 17 px " ></img >
452
458
453
459
* Thérèse Accart Hardin, Véronique Donzeau-Gouge Viguié<br />
454
460
InterEditions, ISBN 2 7296 0419 7.*
@@ -469,7 +475,7 @@ exercises with solutions.
469
475
****
470
476
471
477
### Programmation en Caml
472
- <img src =" /img/rouable.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ;" ></img >
478
+ <img src =" /img/rouable.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ; margin-top : 17 px " ></img >
473
479
474
480
* Jacques Rouablé<br />
475
481
Eyrolles, Paris 1997, ISBN 2-212-08944-9.*
@@ -487,7 +493,7 @@ connected to computer science, logic, automata and grammars.
487
493
****
488
494
489
495
### Apprentissage de la programmation avec OCaml
490
- <img src =" /img/dubois-menissier.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
496
+ <img src =" /img/dubois-menissier.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 50 px ; margin-top : 17 px " ></img >
491
497
492
498
* Catherine Dubois and Valérie Ménissier Morain<br />
493
499
Hermès Sciences, Paris 2004, ISBN 2-7462-0819-9.*
@@ -507,28 +513,31 @@ illustrated in OCaml easily transpose to other programming languages.
507
513
****
508
514
509
515
### Programmation fonctionnelle, générique et objet: une introduction avec le langage OCaml
510
- <img src =" /img/narbel.jpg " width =" 180 " ></img >
516
+ <img src =" /img/narbel.jpg " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ; margin-top : 17px " ></img >
517
+
511
518
512
519
* Philippe Narbel<br />
513
520
Vuibert, Paris 2005, ISBN 2-7117-4843-X.*
521
+ <p >  ; </p ><p >  ; </p ><p >  ; </p ><p >  ; </p ><p >  ; </p >
514
522
515
523
****
516
524
517
525
### Programmation de droite à gauche et vice-versa
518
- <img src =" /img/manoury.png " width =" 180 " ></img >
526
+ <img src =" /img/manoury.png " width =" 180 " style = " float : left ; margin-right : 15 px ; margin-bottom : 15 px ; margin-top : 17 px " ></img >
519
527
520
528
* Pascal Manoury<br />
521
529
Éditions Paracamplus, Paris, 2011, ISBN 978-2-916466-05-7.*
522
530
523
531
[ Order Online from Paracamplus] ( http://paracamplus.com )
524
532
533
+ <p >  ; </p ><p >  ; </p ><p >  ; </p ><p >  ; </p ><p >  ; </p >
525
534
526
535
****
527
536
528
537
## Books in German
529
538
530
539
### Algorithmen, Datenstrukturen, Funktionale Programmierung: Eine praktische Einführung mit Caml Light
531
- <img src =" /img/wolff.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ;" ></img >
540
+ <img src =" /img/wolff.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ; margin-top : 17 px " ></img >
532
541
533
542
* Juergen Wolff von Gudenberg<br />
534
543
Addison-Wesley, Bonn, 1996.*
@@ -541,21 +550,25 @@ in a concise and precise manner using Caml Light. The second part
541
550
provides a tutorial introduction into the language Caml Light and in its
542
551
last chapter a comprehensive description of the language kernel.
543
552
553
+ <p >  ; </p >
554
+
544
555
****
545
556
546
557
## Books in Italian
547
558
548
559
### Programmazione funzionale, una semplice introduzione
549
- <img src =" /img/default.png " width =" 180 " ></img >
560
+ <img src =" /img/default.png " width =" 180 " style = " float : left ; margin-right : 15 px ; margin-bottom : 15 px ; margin-top : 6 px " ></img >
550
561
551
562
* Massimo Maria Ghisalberti*
552
563
553
564
[ Emacs Org source] ( http://minimalprocedure.pragmas.org/writings/programmazione_funzionale/programmazione_funzionale.org ) | [ HTML] ( http://minimalprocedure.pragmas.org/writings/programmazione_funzionale/programmazione_funzionale.html ) | [ PDF] ( http://minimalprocedure.pragmas.org/writings/programmazione_funzionale/programmazione_funzionale.pdf )
554
565
566
+ <p >  ; </p ><p >  ; </p >
567
+
555
568
****
556
569
557
570
### Introduzione alla programmazione funzionale
558
- <img src =" /img/limongelli-cialdea.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ;" ></img >
571
+ <img src =" /img/limongelli-cialdea.gif " width =" 180 " style =" float : left ; margin-right : 15px ; margin-bottom : 15px ; margin-top : 17 px " ></img >
559
572
560
573
* Carla Limongelli and Marta Cialdea<br />
561
574
Societa' Editrice Esculapio, 2002, ISBN 88-7488-031-6.*
@@ -566,7 +579,7 @@ last chapter a comprehensive description of the language kernel.
566
579
## Books in Portuguese
567
580
568
581
### OCaml: Programação Funcional na Prática
569
- <img src =" /img/opfp.png " style =" float : left ; margin-right : 15px ; margin-bottom : 15 px ; " ></img >
582
+ <img src =" /img/opfp.png " style =" float : left ; margin-right : 15px ; margin-bottom : 30 px ; margin-top : 17 px " ></img >
570
583
571
584
* Andrei de Araújo Formiga<br />
572
585
Casa do Código, 2015*
0 commit comments