 
 
Bibliographie
- [AC96]
- 
Aponte (María-Virginia) et Castagna (Giuseppe). --
Programmation modulaire avec surcharge et liaison tardive. In :  Journées Francophones des Langages Applicatifs. INRIA. --
janvier 1996.
 
 
- [AHU85]
- 
Aho (Alfred), Hopcroft (John) et Ullman (Jeffrey). --
Structures de données et algorithmes. --
InterEditions, 1985.
 
 
- [And91]
- 
Andrews (G.). --
Concurrent Programming : Principles and practices. --
Benjamin Cumming, 1991.
 
 
- [Ari86]
- 
Ari (Ben). --
Processus concurrents. --
Masson, 1986.
 
 
- [AS89]
- 
Abelson (Harold) et Sussman (Gerald J.). --
Structures et interprétation des programmes informatiques. --
InterEditions, 1989.
 
 
- [ASU89]
- 
Aho (Alfred), Sethi (Ravi) et Ullman (Jeffrey). --
Compilateurs : principes, techniques et outils. --
InterEditions, 1989.
 
 
- [CCM87]
- 
Cousineau (Guy), Curien (Pierre-Louis) et Mauny (Michel). --
The Categorical Abstract Machine. Science of Computer
 Programming, vol. 8, 1987, pp. 173--202.
 
 
- [CCS96]
- 
Chailloux (Emmanuel), Cousineau (Guy) et Suárez (Ascánder). --
Programmation fonctionnelle de graphismes pour la production
 d'illustrations techniques. Technique et Science Informatiques, 1996.
 
 
- [CDM96]
- 
Card (Rémy), Dumas (Éric) et Mével (Franck). --
Programmation Linux 2.0, API système et fonctionnement du
 noyau. --
Eyrolles, 1996, seconde édition.
 
 
- [Ciz98]
- 
Cizault (Gisèle). --
IPv6 : Théorie et pratique. --
O'Reilly, 1998.
 
 
- [CKL96]
- 
Chailloux (Emmanuel), Kirsch (Laurent) et Lucas (Stéphane). --
Caml2sml, un outil d'aide à la traduction de Caml vers Sml. In :  Journées Francophones des Langages Applicatifs. INRIA. --
janvier 1996.
 
 
- [CL99]
- 
Conchon (Sylvain) et Le Fessant (Fabrice). --
JoCaml: mobile agents for Objective-Caml. In :  International Symposium on Agent Systems and Applications. --
1999.
 
 
- [CM95]
- 
Cousineau (Guy) et Mauny (Michel). --
Approche Fonctionnelle de la Programmation. --
EdiScience, 1995.
 
 
- [CP95]
- 
Caspi (Paul) et Pouzet (Marc). --
A functional extension to lustre. In :  8th International
 Symposium on Languages for Intensional Programming. World Scientific. --
Sydney, mai 1995.
 
 
- [DDLP98]
- 
Danelutto (Marco), Di Cosmo (Roberto), Leroy (Xavier) et Pelagatti (Susanna).
 --
Parallel functional programming with skeletons: the ocamlp3l
 experiment. In :  ML Workshop. ACM SIGPLAN. --
1998.
 
 
- [DEMN98]
- 
Ducournau (Roland), Euzenat (Jérôme), Masini (Gérald) et Napoli (Amedeo)
 (édité par). --
Langages et modèles à objets: état et perspectives de la
 recherche. --
INRIA, 1998.
 
 
- [Eng98]
- 
Engel (Emmanuel). --
Extensions sûres et praticables du système de types de ML en
 présence d'un langage de modules et de traits impératifs. --
Thèse de doctorat, Université Paris-Sud, Orsay, France, mai 1998.
 
 
- [FC95]
- 
Foisy (Christian) et Chailloux (Emmanuel). --
Caml Flight: a Portable SPMD Extension of ML for Distributed Memory
 Multiprocessors. In :  Conference on High Performance Functional
 Computing. --
avril 1995.
 
 
- [FF98]
- 
Findler (Robert B.) et Flatt (Matthew). --
Modular Object-Oriented Programming with Units and Mixins. In :  International Conference on Functional Programming. ACM. --
1998.
 
 
- [FGS90]
- 
Froidevaux (Christine), Gaudel (Marie-Claude) et Soria (Michèle). --
Types de données et algorithmes. --
Paris, EdiSciences, 1990.
 
 
- [FW00]
- 
Furuse (Jun) et Weis (Pierre). --
Entrées/Sorties de valeurs en Caml. In :  JFLA'2000 :
 Journées Francophones des Langages Applicatifs. INRIA. --
Mont Saint-Michel, janvier 2000.
 
 
- [GHJV98]
- 
Gamma (Erich), Helm (Richard), Johnson (Ralph) et Vlissides (John). --
Design Pattern : catalogue de modèles de conception
 réutilisables. --
MIT, 1998.
 
 
- [HFa96]
- 
Hartel (Pieter), Feeley (Marc) et al. --
Benchmarking implementations of functional languages with
 ``Pseudoknot'', a float-intensive benchmark. Journal of Functional
 Programming, vol. 6, n 4, 1996.
 
 
- [HS90]
- 
Harbison (Samuel P.) et Steele (Guy L.). --
Langage C : manuel de référence. --
Paris, Masson, 1990, seconde édition.
 
 
- [Jon98]
- 
Jones (Richard). --
Garbage Collection : Algorithms for Automatic Dynamic Memory
 Management. --
John Wiley & Sons, 1998.
 
 
- [Ler90]
- 
Leroy (Xavier). --
The ZINC experiment: an economical implementation of the ML
 language. --
Technical report n 117, INRIA, 1990.
 
 
- [Ler92]
- 
Leroy (Xavier). --
Programmation du système unix en caml light. --
Rapport technique n RR-147, INRIA, décembre 1992.
 
 
- [LMB92]
- 
Levine (John R.), Mason (Tony) et Brown (Doug). --
lex & yacc. --
O'Reilly, 1992, seconde édition.
 
 
- [Lou98]
- 
Loulergue (Frédéric). --
BSML : programmation BSP purement fonctionnelle. In : 
 RENPAR'10, Rencontres francophones du parallélisme. Université de
 Strasbourg. --
Juin 1998.
 
 
- [LRVD99]
- 
Leroy (Xavier), Rémy (Didier), Vouillon (Jérôme) et Doligez (Damien). --
The Objective Caml system release 2.04. --
Rapport technique, INRIA, décembre 1999.
 
 
- [MdR92]
- 
Mauny (Michel) et de Rauglaudre (Daniel). --
Parser in ML. --
Rapport technique n RR-1659, INRIA, avril 1992.
 
 
- [MNC+89]
- 
Masini (Gérald), Napoli (Amedeo), Colnet (Dominique), Léonard (Daniel) et
 Tombre (Karl). --
Les langages à objets. --
Paris, InterEditions, 1989.
 
 
- [MT91]
- 
Milner (Robin) et Tofte (Mads). --
Commentary on Standard ML. --
MIT, 1991.
 
 
- [MTH90]
- 
Milner (Robin), Tofte (Mads) et Harper (Robert). --
The Definition of Standard ML. --
MIT, 1990.
 
 
- [Rep92]
- 
Reppy (John). --
Higher-Order Concurrency. --
Thèse de PhD, Cornell University, juin 1992.
 
 
- [Rif90]
- 
Rifflet (Jean-Marie). --
La communication sous Unix. --
EdiSciences, 1990.
 
 
- [Rob89]
- 
Robert (Eric S.). --
Implementing exceptions in C. --
Rapport technique n SRC-40, Digital Equipment, 1989.
 
 
- [Rou96]
- 
Rouaix (François). --
A Web navigator with applets in Caml. In :  Proceedings of the 5th International World Wide Web Conference, in
 Computer Networks and Telecommunications Networking. pp. 1365--1371.
 --
Elsevier, May 1996.
 
 
- [RV98]
- 
Rémy (Didier) et Vouillon (Jérôme). --
Objective ML: An effective object-oriented extension to ML. Theory And Practice of Object Systems, vol. 4, n 1, 1998, pp. 27--50.
 --
A preliminary version appeared in the proceedings of the 24th ACM
 Conference on Principles of Programming Languages, 1997.
 
 
- [Spi90]
- 
Spir (Eric). --
Gestion Dynamique de la Mémoire dans les Langages de
 Programmation. --
InterEdition, 1990.
 
 
- [Tho99]
- 
Thompson (Simon). --
Haskell: The Craft of Functional Programming. --
Addison Wesley, 1999, seconde édition.
 
 
- [Tur85]
- 
Turner (David A.). --
Miranda: A non-strict functional language with polymorphic types.
 In : Proceedings International Conference on Functional
 Programming Languages and Computer Architecture, éd. par Jouannaud (J.).
 pp. 1--16. --
New York, NY, septembre 1985.
 
 
- [Wil92]
- 
Wilson (Paul. R.). --
Uniprocessors Garbage Collection Techniques. In : International Workshop on Memory Management, éd. par Springer-Verlag. ACM
 SIGPLAN, pp. 1--42. --
septembre 1992.
 
 
- [Wri93]
- 
Wright (Andrew K.). --
Polymorphism for Imperative Languages without Imperative Types.
 --
Rapport technique n 93-200, Rice University, février 1993.
 
