Références

abstraction concrète

Bibliographie
Internet

Bibliographie

[1]. Concepts et outils de la programmation.
Accart Hardin T., Donzeau-Gouge Vigié V.
(1993). Paris, InterEditions.
ISBN 2-7296-0419-7.

[2]. Introduction à la logique contemporaine.
Blanché Robert.
(1968). Paris, Armand Colin.
ISBN 2-200-32008-6.

[3]. The art and science of logic.
Bonevac Daniel.
(1990). Moutain View, Mayfield.
ISBN 0-87484-805-9.

[4]. The Caml Light system release 0.5. Documentation and user's manual.
Leroy X., Mauny M.
(1992). Rocquencourt, INRIA.
ISBN 2-7261-0748-6.

[5]. Manuel de référence du langage Caml.
Leroy Xavier, Weis Pierre.
(1993). Paris, InterEditions.
ISBN 2-7296-0492-8.

[6]. The implementation of functionnal languages.
Peyton Jones S. L.
(1987). Englewood Ciffs, Prentice-Hall.
ISBN 0-13-453333-9 PBK.

[7]. Functionnal programming and parallel graph rewriting.
Plasmeijer R., van Eekelen M.
(1993). Wokingham, Addison-Wesley.
ISBN 0-201-41663-8.

[8]. Méthodes de logique.
Quine Willard V.O.
(1972). Paris, Armand Colin.
ISBN 2-200-31081-1.

[9]. Elements of functionnal programming.
Reade Chris.
(1989). Wokingham, Addison-Wesley.
ISBN 0-201-12915-9.

[10]. Lire Lisp.
Roy J.P., Kiremitdjian G.
(1985).
Paris, Cedic.
ISBN 2-7124-0573-0.

[11]. Le langage Caml.
Weis Pierre, Leroy Xavier.
(1993). Paris, InterEditions.
ISBN 2-7296-0493-6.

[12]. Approche fonctionnelle de la programmation.
Guy Cousineau, Michel Mauny.
(1995). Paris, Ediscience international.
ISBN 2-84074-114-8.

[13]. Option informatique : cours pour la Sup MPSI.
Denis Monasse.
(1996). Paris, Librairie Vuibert.
ISBN 2-7117-8831-8.


Internet

[1]. INRIA.
http://pauillac.inria.fr/caml/index-fra.html


dernière modification : 17/05/2008