Bibliographie

[1]

Le langage Caml, Pierre Weis et Xavier Leroy, InterEditions, 1993, ISBN 2-7296-0493-6.

[2]

Manuel de Référence du langage Caml, Xavier Leroy et Pierre Weis, InterEditions, 1993, ISBN 2-7296-0492-8.

[3]

Approche fonctionnelle de la programmation, Guy Cousineau et Michel Mauny, Ediscience (Collection Informatique), 1995, ISBN 2-84074-114-8.

[4]

Concepts et outils de programmation - le style fonctionnel, le style impératif avec CAML et Ada Thérèse Accart Hardin et Véronique Donzeau-Gouge Viguié, InterEditions, 1991, ISBN 2-7296-0419-7.

[5]

Option informatique, Denis Monasse, Vuibert (Enseignement supérieur et Informatique), 1996, ISBN 2-7117-8831-8

[6]

Lawrence C. Paulson. ML for the working programmer. Cambridge University Press, 1991.

[7]

Edinburgh LCF, M.J. Gordon, R. Milner, C. Wadsworth, LNCS 78, 1979.

[8]

Elements of ML programming, Jeffrey D. Ullman, Prentice Hall, 1994.

[9]

The definiton of Standard ML, Robin Milner, Mads Tofte, Robert Harper, The MIT Press, 1990.