From ffced96f1c60ec2d33c1e15bc1c531c040723d16 Mon Sep 17 00:00:00 2001 From: Riddhima23 Date: Sun, 2 May 2021 22:20:33 +0530 Subject: [PATCH] Improved Books section --- site/learn/books.md | 78 ++++++++++++++++++++++----------------------- 1 file changed, 39 insertions(+), 39 deletions(-) diff --git a/site/learn/books.md b/site/learn/books.md index f33d11a27..358512a57 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* @@ -220,13 +220,13 @@ 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 +252,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 +285,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 +302,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 +318,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 +337,7 @@ automata, etc. **** ### Approche fonctionnelle de la programmation - + *Guy Cousineau, Michel Mauny
Ediscience (Collection Informatique), Paris, 1995, ISBN 2-84074-114-8.* @@ -358,7 +358,7 @@ synthesis. **** ### Seize problèmes d'informatique - + *Bruno Petazzoni
Éditions Springer, Paris, 2001
@@ -379,7 +379,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 +397,7 @@ languages, and automata. **** ### Option informatique MPSI - + *Denis Monasse
Éditions Vuibert (Enseignement supérieur & Informatique), Paris, 1996
@@ -416,7 +416,7 @@ science. **** ### Option informatique MP/MP* - + *Denis Monasse
Éditions Vuibert (Enseignement supérieur & Informatique), Paris 1997
@@ -428,11 +428,11 @@ expressions, automata and languages, and OCaml streams. The book 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
@@ -444,11 +444,11 @@ study computer science and for students engaged in a computer science 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 +469,7 @@ exercises with solutions. **** ### Programmation en Caml - + *Jacques Rouablé
Eyrolles, Paris 1997, ISBN 2-212-08944-9.* @@ -487,7 +487,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 +507,28 @@ 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.* @@ -540,22 +540,22 @@ suitable for self-studies. In the first part, algorithms are described 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 +566,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*