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.