 
 
Bibliography
- [AC96]
- 
María-Virginia Aponte and Giuseppe Castagna.
Programmation modulaire avec surcharge et liaison tardive.
In Journées Francophones des Langages Applicatifs. INRIA,
 January 1996.
 
 
- [AHU83]
- 
Alfred Aho, John Hopcroft, and Jeffrey Ullman.
Data Structures and Algorithms.
Addison-Wesley, 1983.
 
 
- [And91]
- 
G. Andrews.
Concurrent Programming : Principles and practices.
Benjamin Cumming, 1991.
 
 
- [Ari90]
- 
Ben Ari.
Principles of Concurrent and Distributed Programming.
Prentice Hall, second edition, 1990.
 
 
- [ASS96]
- 
Harold Abelson, Gerald Jay Sussman, and Julie Sussman.
Structure and Interpretation of Computer Programs.
MIT Press, second edition, 1996.
 
 
- [ASU86]
- 
Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman.
Compilers: principles, techniques, and tools.
Addison-Wesley, 1986.
 
 
- [BLH00]
- 
Olivier Ballereau, Frédéric Loulergue, and Gaétan Hains.
High level BSP programming: BSML and BSlambda.
In Stephen Gilmore, editor, Trends in Functional Programming,
 volume 2. Intellect, 2000.
 
 
- [CC92]
- 
Emmanuel Chailloux and Guy Cousineau.
Programming images in ML.
In Proceedings of the ACM SIGPLAN Workshop on ML and its
 Applications, 1992.
 
 
- [CCM87]
- 
Guy Cousineau, Pierre-Louis Curien, and Michel Mauny.
The Categorical Abstract Machine.
Science of Computer Programming, 8:173--202, 1987.
 
 
- [CDM98]
- 
Rémy Card, Éric Dumas, and Franck Mével.
The Linux Kernel Book.
Wiley, John & Sons, 1998.
 
 
- [CKL96]
- 
Emmanuel Chailloux, Laurent Kirsch, and Stéphane Lucas.
Caml2sml, un outil d'aide à la traduction de Caml vers Sml.
In Journées Francophones des Langages Applicatifs. INRIA,
 January 1996.
 
 
- [CL99]
- 
Sylvain Conchon and Fabrice Le Fessant.
JoCaml: mobile agents for Objective-Caml.
In International Symposium on Agent Systems and Applications,
 1999.
 
 
- [CM98]
- 
Guy Cousineau and Michel Mauny.
The functional approach to programming.
Cambridge University Press, 1998.
 
 
- [CP95]
- 
Paul Caspi and Marc Pouzet.
A functional extension to LUSTRE.
In 8th International Symposium on Languages for Intensional
 Programming, Sydney, May 1995. World Scientific.
 
 
- [CS94]
- 
Emmanuel Chailloux and Ascánder Suárez.
mlPicTeX, a picture environment for LaTeX.
In Proceedings of the ACM SIGPLAN Workshop on ML and its
 Applications, 1994.
 
 
- [DDLP98]
- 
Marco Danelutto, Roberto Di Cosmo, Xavier Leroy, and Susanna Pelagatti.
Parallel functional programming with skeletons: the ocamlp3l
 experiment.
In ML Workshop. ACM SIGPLAN, 1998.
 
 
- [DEMN98]
- 
Roland Ducournau, Jérôme Euzenat, Gérald Masini, and Amedeo Napoli, editors.
Langages et modèles à objets: état et perspectives de la
 recherche.
INRIA, 1998.
 
 
- [Eng98]
- 
Emmanuel Engel.
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.
PhD thesis, Université Paris-Sud, Orsay, France, mai 1998.
 
 
- [FC95]
- 
Christian Foisy and Emmanuel Chailloux.
Caml Flight: a Portable SPMD Extension of ML for Distributed Memory
 Multiprocessors.
In Conference on High Performance Functional Computing, April
 1995.
 
 
- [FF98]
- 
Robert B. Findler and Matthew Flatt.
Modular Object-Oriented Programming with Units and Mixins.
In International Conference on Functional Programming. ACM,
 1998.
 
 
- [FW00]
- 
Jun Furuse and Pierre Weis.
Entrées/Sorties de valeurs en Caml.
In JFLA'2000 : Journées Francophones des Langages Applicatifs,
 Mont Saint-Michel, January 2000. INRIA.
 
 
- [GHJV95]
- 
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
Design Patterns.
Addison-Wesley, 1995.
 
 
- [HF+96]
- 
Pieter Hartel, Marc Feeley, et al.
Benchmarking implementations of functional languages with
 ``Pseudoknot'', a float-intensive benchmark.
Journal of Functional Programming, 6(4), 1996.
 
 
- [HS94]
- 
Samuel P. Harbison and Guy L. Steele.
C: A reference manual.
Prentice-Hall, fourth edition, 1994.
 
 
- [Hui97]
- 
Christian Huitema.
IPv6 -- The New Internet Protocol.
Prentice Hall, 1997.
 
 
- [Jon98]
- 
Richard Jones.
Garbage Collection: Algorithms for Automatic Dynamic Memory
 Management.
John Wiley & Sons, 1998.
 
 
- [Ler90]
- 
Xavier Leroy.
The ZINC experiment: an economical implementation of the ML
 language.
Technical report 117, INRIA, 1990.
 
 
- [Ler92]
- 
Xavier Leroy.
Programmation du système Unix en Caml Light.
Technical report 147, INRIA, 1992.
 
 
- [LMB92]
- 
John R. Levine, Tony Mason, and Doug Brown.
Lex & Yacc.
O'Reilly, second edition, 1992.
 
 
- [LRVD99]
- 
Xavier Leroy, Didier Rémy, Jérôme Vouillon, and Damien Doligez.
The objective caml system release 2.04.
Technical report, INRIA, December 1999.
 
 
- [MdR92]
- 
Michel Mauny and Daniel de Rauglaudre.
Parser in ML.
Research report 1659, INRIA, avril 1992.
 
 
- [MNC+91]
- 
Gérald Masini, Amedeo Napoli, Dominique Colnet, Daniel Léonard, and Karl
 Tombre.
Object-Oriented Languages.
Academic Press, New York, 1991.
 
 
- [MT91]
- 
Robin Milner and Mads Tofte.
Commentary on Standard ML.
MIT Press, 1991.
 
 
- [MTH97]
- 
Robin Milner, Mads Tofte, and Robert Harper.
The Definition of Standard ML (revised).
MIT Press, 1997.
 
 
- [Rep99]
- 
John Reppy.
Concurrent Programming in ML.
Cambridge University Press, 1999.
 
 
- [Rob89]
- 
Eric S. Robert.
Implementing exceptions in C.
Technical Report SRC-40, Digital Equipment, 1989.
 
 
- [Rou96]
- 
François Rouaix.
A Web navigator with applets in Caml.
In Proceedings of the 5th International World Wide Web
 Conference, in Computer Networks and Telecommunications Networking,
 volume 28, pages 1365--1371. Elsevier, May 1996.
 
 
- [RV98]
- 
Didier Rémy and Jérôme Vouillon.
Objective ML: An effective object-oriented extension to ML.
Theory And Practice of Object Systems, 4(1):27--50, 1998.
A preliminary version appeared in the proceedings of the 24th ACM
 Conference on Principles of Programming Languages, 1997.
 
 
- [Sed88]
- 
Robert Sedgewick.
Algorithms.
Addison-Wesley, second edition, 1988.
 
 
- [Ste92]
- 
W. Richard Stevens.
Advanced Programming in the UNIX Environment.
Addison-Wesley, 1992.
 
 
- [Tho99]
- 
Simon Thompson.
Haskell: The Craft of Functional Programming.
Addison Wesley, seconde edition, 1999.
 
 
- [Tur85]
- 
David A. Turner.
Miranda: A non-strict functional language with polymorphic types.
In J. Jouannaud, editor, Proceedings International Conference
 on Functional Programming Languages and Computer Architecture, volume 201
 of Lecture Notes in Computer Science, pages 1--16, New York, NY,
 September 1985. Springer-Verlag.
 
 
- [Wil92]
- 
Paul. R. Wilson.
Uniprocessor garbage collection techniques.
In International Workshop on Memory Management, number 637 in
 LNCS, pages 1--42. Springer-Verlag, 1992.
 
 
- [Wri95]
- 
Andrew K. Wright.
Simple imperative polymorphism.
Lisp and Symbolic Computation, 8(4):343--356, 1995.
 
