Author: Christian.Queinnec@lip6.fr

## 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.