Skip to content

Commit 56c9327

Browse files
committed
Books section in Learn improved
1 parent 8fa6506 commit 56c9327

File tree

1 file changed

+39
-33
lines changed

1 file changed

+39
-33
lines changed

site/learn/books.md

+39-33
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
# Books
66
## Books in English
77
### The OCaml System: Documentation and User's Manual
8-
<img src="/img/colour-icon-170x148.png" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
8+
<img src="/img/colour-icon-170x148.png" style="float: left; margin-right: 15px; margin-bottom: 40px; margin-top: 18px"></img>
99

1010
*Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy, and Jérôme
1111
Vouillon*
@@ -24,7 +24,7 @@ Tarball](http://caml.inria.fr/distrib/ocaml-{{! get LATEST_OCAML_VERSION_MAIN !}
2424
****
2525

2626
### Real World OCaml
27-
<img src="/img/real-world-ocaml.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
27+
<img src="/img/real-world-ocaml.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 100px; margin-top: 20px"></img>
2828

2929
*Jason Hickey, Anil Madhavapeddy, and Yaron Minsky. Published 25th November 2013*
3030

@@ -47,7 +47,7 @@ readable code.
4747
****
4848

4949
### OCaml from the Very Beginning
50-
<img src="/img/OCaml_from_beginning.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
50+
<img src="/img/OCaml_from_beginning.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 100px; margin-top: 18px"></img>
5151

5252
*John Whitington. Published June 7th, 2013*
5353

@@ -66,7 +66,7 @@ and hints.
6666
****
6767

6868
### More OCaml: Algorithms, Methods & Diversions
69-
<img src="/img/more-ocaml-300-376.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
69+
<img src="/img/more-ocaml-300-376.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 135px; margin-top: 19px"></img>
7070

7171
*John Whitington. Published 26th August 2014*
7272

@@ -89,7 +89,7 @@ the front of the book.
8989
****
9090

9191
### Unix System Programming in OCaml
92-
<img src="/img/default.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
92+
<img src="/img/default.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 50px; margin-top: 6px"></img>
9393

9494
*Xavier Leroy and Didier Rémy. Published May 2010*
9595

@@ -105,7 +105,7 @@ Unix shell commands.
105105
****
106106

107107
### OCaml for Scientists
108-
<img src="/img/harrop-book.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
108+
<img src="/img/harrop-book.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 50px; margin-top: 18px"></img>
109109

110110
*Jon D. Harrop<br />
111111
Flying Frog Consultancy Ltd, 2005.*
@@ -126,7 +126,7 @@ Information](http://www.ffconsultancy.com/products/ocaml_for_scientists/index.ht
126126
****
127127

128128
### Using, Understanding, and Unraveling OCaml
129-
<img src="/img/default.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
129+
<img src="/img/default.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 70px; margin-top: 3px"></img>
130130

131131
*Didier Rémy. Published 20th September 2002*
132132

@@ -140,7 +140,7 @@ OCaml it is addressed to a wide audience of people interested in modern programm
140140
****
141141

142142
### 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: 12px"></img>
144144

145145
*Emmanuel Chailloux, Pascal Manoury, Bruno Pagano. Published 2002*
146146

@@ -156,7 +156,7 @@ translation of a French book published by OReilly.
156156
****
157157

158158
### Introduction to OCaml
159-
<img src="/img/default.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
159+
<img src="/img/default.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 100px; margin-top: 2px"></img>
160160

161161
*Jason Hickey. Published in 2008*
162162

@@ -170,7 +170,7 @@ Abstract: *This book is an introduction to ML programming, specifically for the
170170
****
171171

172172
### The Functional Approach to Programming
173-
<img src="/img/cousineau-mauny-en.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
173+
<img src="/img/cousineau-mauny-en.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 70px; margin-top: 17px"></img>
174174

175175
*Guy Cousineau, Michel Mauny<br />
176176
Cambridge University Press, Cambridge, 1998, <br />
@@ -194,7 +194,7 @@ Amazon.com](http://www.amazon.com/exec/obidos/ASIN/0521571839/qid%3D911812711/sr
194194
****
195195

196196
### 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: 2px"></img>
198198

199199
*Hongbo Zhang. Published 2011*
200200

@@ -207,7 +207,7 @@ runtime, interoperating with C, and pearls.
207207
****
208208

209209
### 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: 17px"></img>
211211

212212
*Nicholas Monje and Allen Downey. Published 2008*
213213

@@ -221,12 +221,13 @@ want to learn OCaml.
221221
[Book Website](http://greenteapress.com/thinkocaml/index.html) |
222222
[PDF](http://greenteapress.com/thinkocaml/thinkocaml.pdf)
223223

224+
<p>&nbsp;</p>
224225
****
225226

226227
## Books in French
227228

228229
### 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: 15px;"></img>
230+
<img src="/img/Initiation_a_la_programmation_fonctionnelle_en_OCaml.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 170px; margin-top: 8px"></img>
230231

231232
*Mohammed-Said Habet<br />
232233
édition: Edilivre, 2015. ISBN: 9782332978400*
@@ -252,7 +253,7 @@ l’initiative du lecteur.
252253
****
253254

254255
### Apprendre à programmer avec OCaml
255-
<img src="/img/apprendre_ocaml_cover.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
256+
<img src="/img/apprendre_ocaml_cover.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 350px; margin-top: 17px"></img>
256257

257258
*Jean-Christophe Filliâtre and Sylvain Conchon<br />
258259
Éditions Eyrolles, Paris, 2014, ISBN 2-21213-678-1.*
@@ -285,7 +286,7 @@ online.
285286
****
286287

287288
### 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: 15px;"></img>
289+
<img src="/img/chailloux-manoury-pagano.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 30px; margin-top: 17px"></img>
289290

290291
*Emmanuel Chailloux, Pascal Manoury, and Bruno Pagano<br />
291292
Éditions O'Reilly, Paris, 2000, ISBN 2-84177-121-0.*
@@ -302,7 +303,7 @@ programming, and interoperability with C. <br />
302303

303304

304305
### 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: 15px;"></img>
306+
<img src="/img/leroy-weis.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 70px; margin-top: 17px"></img>
306307

307308
*Xavier Leroy and Pierre Weis<br />
308309
InterEditions, Paris, 1993, ISBN 2-7296-0492-8 (out of print).*
@@ -318,7 +319,7 @@ Intro: "Cet ouvrage contient le manuel de référence du langage Caml et la docu
318319

319320

320321
### Le langage Caml
321-
<img src="/img/weis-leroy.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
322+
<img src="/img/weis-leroy.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 50px; margin-top: 18px"></img>
322323

323324
*Pierre Weis, Xavier Leroy<br />
324325
Second edition: Dunod, Paris, 1999, ISBN 2-10-004383-8.<br />
@@ -337,7 +338,7 @@ automata, etc.
337338
****
338339

339340
### Approche fonctionnelle de la programmation
340-
<img src="/img/cousineau-mauny-fr.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
341+
<img src="/img/cousineau-mauny-fr.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 70px; margin-top: 18px"></img>
341342

342343
*Guy Cousineau, Michel Mauny<br />
343344
Ediscience (Collection Informatique), Paris, 1995, ISBN 2-84074-114-8.*
@@ -358,7 +359,7 @@ synthesis.
358359
****
359360

360361
### Seize problèmes d'informatique
361-
<img src="/img/petazzoni.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
362+
<img src="/img/petazzoni.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 50px; margin-top: 17px"></img>
362363

363364
*Bruno Petazzoni<br />
364365
Éditions Springer, Paris, 2001 <br />
@@ -379,7 +380,7 @@ Page](http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-102-22-2042496-0
379380
****
380381

381382
### Nouveaux exercices d'algorithmique
382-
<img src="/img/quercia.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
383+
<img src="/img/quercia.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px; margin-top: 16px"></img>
383384

384385
*Michel Quercia<br />
385386
Éditions Vuibert, Paris, 2000 <br />
@@ -397,7 +398,7 @@ languages, and automata.
397398
****
398399

399400
### Option informatique MPSI
400-
<img src="/img/monasse-1.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
401+
<img src="/img/monasse-1.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px; margin-top: 17px"></img>
401402

402403
*Denis Monasse<br />
403404
Éditions Vuibert (Enseignement supérieur &amp; Informatique), Paris, 1996 <br />
@@ -416,7 +417,7 @@ science.
416417
****
417418

418419
### Option informatique MP/MP*
419-
<img src="/img/monasse-2.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
420+
<img src="/img/monasse-2.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px; margin-top: 17px"></img>
420421

421422
*Denis Monasse<br />
422423
Éditions Vuibert (Enseignement supérieur &amp; Informatique), Paris 1997 <br />
@@ -429,10 +430,11 @@ contains more than 200 OCaml programs.
429430

430431
[Order at Amazon.fr](http://www.amazon.fr/exec/obidos/ASIN/2711788393)
431432

433+
<p>&nbsp;</p>
432434
****
433435

434436
### Cours et exercices d'informatique
435-
<img src="/img/albert.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
437+
<img src="/img/albert.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px; margin-top: 17px"></img>
436438

437439
*Luc Albert<br />
438440
Thomson Publishing International, Paris, 1997 <br />
@@ -445,10 +447,11 @@ cursus up to the masters level. It includes a tutorial of the OCaml
445447
language, a course on algorithms, data structures, automata theory, and
446448
formal logic, as well as 135 exercises with solutions.
447449

450+
<p>&nbsp;</p>
448451
****
449452

450453
### Concepts et outils de programmation
451-
<img src="/img/hardin-donzeau-gouge.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
454+
<img src="/img/hardin-donzeau-gouge.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 50px; margin-top: 17px"></img>
452455

453456
*Thérèse Accart Hardin, Véronique Donzeau-Gouge Viguié<br />
454457
InterEditions, ISBN 2 7296 0419 7.*
@@ -469,7 +472,7 @@ exercises with solutions.
469472
****
470473

471474
### Programmation en Caml
472-
<img src="/img/rouable.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
475+
<img src="/img/rouable.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px; margin-top: 17px"></img>
473476

474477
*Jacques Rouablé<br />
475478
Eyrolles, Paris 1997, ISBN 2-212-08944-9.*
@@ -487,7 +490,7 @@ connected to computer science, logic, automata and grammars.
487490
****
488491

489492
### Apprentissage de la programmation avec OCaml
490-
<img src="/img/dubois-menissier.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
493+
<img src="/img/dubois-menissier.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 50px; margin-top: 17px"></img>
491494

492495
*Catherine Dubois and Valérie Ménissier Morain<br />
493496
Hermès Sciences, Paris 2004, ISBN 2-7462-0819-9.*
@@ -507,28 +510,29 @@ illustrated in OCaml easily transpose to other programming languages.
507510
****
508511

509512
### Programmation fonctionnelle, générique et objet: une introduction avec le langage OCaml
510-
<img src="/img/narbel.jpg" width="180"></img>
513+
<img src="/img/narbel.jpg" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px; margin-top: 17px"></img>
511514

512515
*Philippe Narbel<br />
513516
Vuibert, Paris 2005, ISBN 2-7117-4843-X.*
514517

518+
<p>&nbsp;</p><p>&nbsp;</p><p>&nbsp;</p><p>&nbsp;</p><p>&nbsp;</p>
515519
****
516520

517521
### Programmation de droite à gauche et vice-versa
518-
<img src="/img/manoury.png" width="180"></img>
522+
<img src="/img/manoury.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px; margin-top: 17px" ></img>
519523

520524
*Pascal Manoury<br />
521525
Éditions Paracamplus, Paris, 2011, ISBN 978-2-916466-05-7.*
522526

523527
[Order Online from Paracamplus](http://paracamplus.com)
524528

525-
529+
<p>&nbsp;</p><p>&nbsp;</p><p>&nbsp;</p><p>&nbsp;</p><p>&nbsp;</p>
526530
****
527531

528532
## Books in German
529533

530534
### 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>
535+
<img src="/img/wolff.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px; margin-top: 17px"></img>
532536

533537
*Juergen Wolff von Gudenberg<br />
534538
Addison-Wesley, Bonn, 1996.*
@@ -541,21 +545,23 @@ in a concise and precise manner using Caml Light. The second part
541545
provides a tutorial introduction into the language Caml Light and in its
542546
last chapter a comprehensive description of the language kernel.
543547

548+
<p>&nbsp;</p>
544549
****
545550

546551
## Books in Italian
547552

548553
### Programmazione funzionale, una semplice introduzione
549-
<img src="/img/default.png" width="180"></img>
554+
<img src="/img/default.png" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px; margin-top: 6px"></img>
550555

551556
*Massimo Maria Ghisalberti*
552557

553558
[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)
554559

560+
<p>&nbsp;</p><p>&nbsp;</p>
555561
****
556562

557563
### Introduzione alla programmazione funzionale
558-
<img src="/img/limongelli-cialdea.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
564+
<img src="/img/limongelli-cialdea.gif" width="180" style="float: left; margin-right: 15px; margin-bottom: 15px; margin-top: 17px"></img>
559565

560566
*Carla Limongelli and Marta Cialdea<br />
561567
Societa' Editrice Esculapio, 2002, ISBN 88-7488-031-6.*
@@ -566,7 +572,7 @@ last chapter a comprehensive description of the language kernel.
566572
## Books in Portuguese
567573

568574
### OCaml: Programação Funcional na Prática
569-
<img src="/img/opfp.png" style="float: left; margin-right: 15px; margin-bottom: 15px;"></img>
575+
<img src="/img/opfp.png" style="float: left; margin-right: 15px; margin-bottom: 30px; margin-top: 17px"></img>
570576

571577
*Andrei de Araújo Formiga<br />
572578
Casa do Código, 2015*

0 commit comments

Comments
 (0)