Previous Contents


María-Virginia Aponte and Giuseppe Castagna. Programmation modulaire avec surcharge et liaison tardive. In Journées Francophones des Langages Applicatifs. INRIA, January 1996.

Alfred Aho, John Hopcroft, and Jeffrey Ullman. Data Structures and Algorithms. Addison-Wesley, 1983.

G. Andrews. Concurrent Programming : Principles and practices. Benjamin Cumming, 1991.

Ben Ari. Principles of Concurrent and Distributed Programming. Prentice Hall, second edition, 1990.

Harold Abelson, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of Computer Programs. MIT Press, second edition, 1996.

Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: principles, techniques, and tools. Addison-Wesley, 1986.

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.

Emmanuel Chailloux and Guy Cousineau. Programming images in ML. In Proceedings of the ACM SIGPLAN Workshop on ML and its Applications, 1992.

Guy Cousineau, Pierre-Louis Curien, and Michel Mauny. The Categorical Abstract Machine. Science of Computer Programming, 8:173--202, 1987.

Rémy Card, Éric Dumas, and Franck Mével. The Linux Kernel Book. Wiley, John & Sons, 1998.

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.

Sylvain Conchon and Fabrice Le Fessant. JoCaml: mobile agents for Objective-Caml. In International Symposium on Agent Systems and Applications, 1999.

Guy Cousineau and Michel Mauny. The functional approach to programming. Cambridge University Press, 1998.

Paul Caspi and Marc Pouzet. A functional extension to LUSTRE. In 8th International Symposium on Languages for Intensional Programming, Sydney, May 1995. World Scientific.

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.

Marco Danelutto, Roberto Di Cosmo, Xavier Leroy, and Susanna Pelagatti. Parallel functional programming with skeletons: the ocamlp3l experiment. In ML Workshop. ACM SIGPLAN, 1998.

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.

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.

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.

Robert B. Findler and Matthew Flatt. Modular Object-Oriented Programming with Units and Mixins. In International Conference on Functional Programming. ACM, 1998.

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.

Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns. Addison-Wesley, 1995.

Pieter Hartel, Marc Feeley, et al. Benchmarking implementations of functional languages with ``Pseudoknot'', a float-intensive benchmark. Journal of Functional Programming, 6(4), 1996.

Samuel P. Harbison and Guy L. Steele. C: A reference manual. Prentice-Hall, fourth edition, 1994.

Christian Huitema. IPv6 -- The New Internet Protocol. Prentice Hall, 1997.

Richard Jones. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John Wiley & Sons, 1998.

Xavier Leroy. The ZINC experiment: an economical implementation of the ML language. Technical report 117, INRIA, 1990.

Xavier Leroy. Programmation du système Unix en Caml Light. Technical report 147, INRIA, 1992.

John R. Levine, Tony Mason, and Doug Brown. Lex & Yacc. O'Reilly, second edition, 1992.

Xavier Leroy, Didier Rémy, Jérôme Vouillon, and Damien Doligez. The objective caml system release 2.04. Technical report, INRIA, December 1999.

Michel Mauny and Daniel de Rauglaudre. Parser in ML. Research report 1659, INRIA, avril 1992.

Gérald Masini, Amedeo Napoli, Dominique Colnet, Daniel Léonard, and Karl Tombre. Object-Oriented Languages. Academic Press, New York, 1991.

Robin Milner and Mads Tofte. Commentary on Standard ML. MIT Press, 1991.

Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML (revised). MIT Press, 1997.

John Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.

Eric S. Robert. Implementing exceptions in C. Technical Report SRC-40, Digital Equipment, 1989.

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.

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.

Robert Sedgewick. Algorithms. Addison-Wesley, second edition, 1988.

W. Richard Stevens. Advanced Programming in the UNIX Environment. Addison-Wesley, 1992.

Simon Thompson. Haskell: The Craft of Functional Programming. Addison Wesley, seconde edition, 1999.

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.

Paul. R. Wilson. Uniprocessor garbage collection techniques. In International Workshop on Memory Management, number 637 in LNCS, pages 1--42. Springer-Verlag, 1992.

Andrew K. Wright. Simple imperative polymorphism. Lisp and Symbolic Computation, 8(4):343--356, 1995.

Previous Contents