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.