Author: Christian.Queinnec@lip6.fr

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