diff --git a/site/docs/index.fr.md b/site/docs/index.fr.md index bc19a0463..2ed7d7988 100644 --- a/site/docs/index.fr.md +++ b/site/docs/index.fr.md @@ -104,6 +104,12 @@ archive de fichiers Emacs Info.

+ +

+ + Manuel OCaml +

diff --git a/site/docs/index.md b/site/docs/index.md index dd19458b9..fbae753e3 100644 --- a/site/docs/index.md +++ b/site/docs/index.md @@ -102,6 +102,11 @@ href="/releases/4.12/ocaml-4.12-refman.info.tar.gz">bundle of Emacs Info files.

+

+ + OCaml Manual +

diff --git a/site/learn/books.md b/site/learn/books.md index f33d11a27..679b1176e 100644 --- a/site/learn/books.md +++ b/site/learn/books.md @@ -5,7 +5,7 @@ # Books ## Books in English ### The OCaml System: Documentation and User's Manual - + *Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon* @@ -24,7 +24,7 @@ Tarball](http://caml.inria.fr/distrib/ocaml-{{! get LATEST_OCAML_VERSION_MAIN !} **** ### Real World OCaml - + *Jason Hickey, Anil Madhavapeddy, and Yaron Minsky. Published 25th November 2013* @@ -47,7 +47,7 @@ readable code. **** ### OCaml from the Very Beginning - + *John Whitington. Published June 7th, 2013* @@ -66,7 +66,7 @@ and hints. **** ### More OCaml: Algorithms, Methods & Diversions - + *John Whitington. Published 26th August 2014* @@ -89,7 +89,7 @@ the front of the book. **** ### Unix System Programming in OCaml - + *Xavier Leroy and Didier Rémy. Published May 2010* @@ -105,7 +105,7 @@ Unix shell commands. **** ### OCaml for Scientists - + *Jon D. Harrop
Flying Frog Consultancy Ltd, 2005.* @@ -126,7 +126,7 @@ Information](http://www.ffconsultancy.com/products/ocaml_for_scientists/index.ht **** ### Using, Understanding, and Unraveling OCaml - + *Didier Rémy. Published 20th September 2002* @@ -140,7 +140,7 @@ OCaml it is addressed to a wide audience of people interested in modern programm **** ### Developing Applications With OCaml - + *Emmanuel Chailloux, Pascal Manoury, Bruno Pagano. Published 2002* @@ -156,7 +156,7 @@ translation of a French book published by OReilly. **** ### Introduction to OCaml - + *Jason Hickey. Published in 2008* @@ -170,7 +170,7 @@ Abstract: *This book is an introduction to ML programming, specifically for the **** ### The Functional Approach to Programming - + *Guy Cousineau, Michel Mauny
Cambridge University Press, Cambridge, 1998,
@@ -194,7 +194,7 @@ Amazon.com](http://www.amazon.com/exec/obidos/ASIN/0521571839/qid%3D911812711/sr **** ### OCaml Book - + *Hongbo Zhang. Published 2011* @@ -207,7 +207,7 @@ runtime, interoperating with C, and pearls. **** ### Think OCaml: How to Think Like a (Functional) Programmer - + *Nicholas Monje and Allen Downey. Published 2008* @@ -221,12 +221,14 @@ want to learn OCaml. [Book Website](http://greenteapress.com/thinkocaml/index.html) | [PDF](http://greenteapress.com/thinkocaml/thinkocaml.pdf) +

 

+ **** ## Books in French ### Initiation à la programmation fonctionnelle en OCaml - + *Mohammed-Said Habet
édition: Edilivre, 2015. ISBN: 9782332978400* @@ -252,7 +254,7 @@ l’initiative du lecteur. **** ### Apprendre à programmer avec OCaml - + *Jean-Christophe Filliâtre and Sylvain Conchon
Éditions Eyrolles, Paris, 2014, ISBN 2-21213-678-1.* @@ -285,7 +287,7 @@ online. **** ### Développement d'applications avec Objective Caml - + *Emmanuel Chailloux, Pascal Manoury, and Bruno Pagano
Éditions O'Reilly, Paris, 2000, ISBN 2-84177-121-0.* @@ -302,7 +304,7 @@ programming, and interoperability with C.
### Manuel de référence du langage Caml - + *Xavier Leroy and Pierre Weis
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 ### Le langage Caml - + *Pierre Weis, Xavier Leroy
Second edition: Dunod, Paris, 1999, ISBN 2-10-004383-8.
@@ -337,7 +339,7 @@ automata, etc. **** ### Approche fonctionnelle de la programmation - + *Guy Cousineau, Michel Mauny
Ediscience (Collection Informatique), Paris, 1995, ISBN 2-84074-114-8.* @@ -358,7 +360,7 @@ synthesis. **** ### Seize problèmes d'informatique - + *Bruno Petazzoni
Éditions Springer, Paris, 2001
@@ -379,7 +381,7 @@ Page](http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-102-22-2042496-0 **** ### Nouveaux exercices d'algorithmique - + *Michel Quercia
Éditions Vuibert, Paris, 2000
@@ -397,7 +399,7 @@ languages, and automata. **** ### Option informatique MPSI - + *Denis Monasse
Éditions Vuibert (Enseignement supérieur & Informatique), Paris, 1996
@@ -416,7 +418,7 @@ science. **** ### Option informatique MP/MP* - + *Denis Monasse
Éditions Vuibert (Enseignement supérieur & Informatique), Paris 1997
@@ -429,10 +431,12 @@ contains more than 200 OCaml programs. [Order at Amazon.fr](http://www.amazon.fr/exec/obidos/ASIN/2711788393) +

 

+ **** ### Cours et exercices d'informatique - + *Luc Albert
Thomson Publishing International, Paris, 1997
@@ -445,10 +449,12 @@ cursus up to the masters level. It includes a tutorial of the OCaml language, a course on algorithms, data structures, automata theory, and formal logic, as well as 135 exercises with solutions. +

 

+ **** ### Concepts et outils de programmation - + *Thérèse Accart Hardin, Véronique Donzeau-Gouge Viguié
InterEditions, ISBN 2 7296 0419 7.* @@ -469,7 +475,7 @@ exercises with solutions. **** ### Programmation en Caml - + *Jacques Rouablé
Eyrolles, Paris 1997, ISBN 2-212-08944-9.* @@ -487,7 +493,7 @@ connected to computer science, logic, automata and grammars. **** ### Apprentissage de la programmation avec OCaml - + *Catherine Dubois and Valérie Ménissier Morain
Hermès Sciences, Paris 2004, ISBN 2-7462-0819-9.* @@ -507,28 +513,31 @@ illustrated in OCaml easily transpose to other programming languages. **** ### Programmation fonctionnelle, générique et objet: une introduction avec le langage OCaml - + + *Philippe Narbel
Vuibert, Paris 2005, ISBN 2-7117-4843-X.* +

 

 

 

 

 

**** ### Programmation de droite à gauche et vice-versa - + *Pascal Manoury
Éditions Paracamplus, Paris, 2011, ISBN 978-2-916466-05-7.* [Order Online from Paracamplus](http://paracamplus.com) +

 

 

 

 

 

**** ## Books in German ### Algorithmen, Datenstrukturen, Funktionale Programmierung: Eine praktische Einführung mit Caml Light - + *Juergen Wolff von Gudenberg
Addison-Wesley, Bonn, 1996.* @@ -541,21 +550,25 @@ in a concise and precise manner using Caml Light. The second part provides a tutorial introduction into the language Caml Light and in its last chapter a comprehensive description of the language kernel. +

 

+ **** ## Books in Italian ### Programmazione funzionale, una semplice introduzione - + *Massimo Maria Ghisalberti* [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) +

 

 

+ **** ### Introduzione alla programmazione funzionale - + *Carla Limongelli and Marta Cialdea
Societa' Editrice Esculapio, 2002, ISBN 88-7488-031-6.* @@ -566,7 +579,7 @@ last chapter a comprehensive description of the language kernel. ## Books in Portuguese ### OCaml: Programação Funcional na Prática - + *Andrei de Araújo Formiga
Casa do Código, 2015*