Références

[Objective Caml]

[1]

Xavier Leroy, Michel Mauny. The Caml Light system, release 0.5. Documentation and user’s manual. Logiciel L-5, distribué par l’INRIA.

[2]

Xavier Leroy, Didier Rémy, Jacques Garrigue, Jérôme Vouillon et Damien Doligez. The Objective Caml system, documentation and user’s manual – release 3.06. Documentation distribuée avec le système Objective Caml par l’INRIA, août 2002. http://caml.inria.fr/pub/docs/manual-ocaml/.

[3]

Bruno Verlyck. Cash, the Caml Shell – release 0.20. Documentation distribuée avec le système Cash par l’INRIA, 2002. http://pauillac.inria.fr/cash/.

[Programmation du système Unix]

[4]

Le manuel Unix, sections 2 et 3.

[5]

Brian Kernighan, Rob Pike. The Unix programming environment, Addison-Wesley. Traduction française: L’environnement de la programmation Unix, Interéditions.

[6]

Jean-Marie Rifflet. La programmation sous Unix. McGraw-Hill.

[7]

Jean-Marie Rifflet. La communication sous Unix. McGraw-Hill.

[Architecture du noyau Unix]

[8]

Samuel Leffler, Marshall McKusick, Michael Karels, John Quarterman. The design and implementation of the 4.3 BSD Unix operating system, Addison-Wesley.

[9]

Maurice Bach. The design and implementation of the Unix operating system, Prentice-Hall.

[Ste92]

Richard W. Stevens. Advanced Programming in the Unix Environment. Addisson-Wesley, 1992.

[Ste92]

Kay A. Robbins and Steven Robbins. Practical Unix Programming. A Guide to Concurrency, Communication, and Multithreading. Prentice Hall, 1996.

[Culture générale sur les systèmes]

[10]

Andrew Tanenbaum. Modern Operating Systems, Second Edition ©2001. Prentice-Hall.

[11]

Andrew Tanenbaum. Operating systems, design and implementation, Prentice-Hall. Traduction française: Les systèmes d’exploitation: conception et mise en œuvre, Interéditions.

[12]

Andrew Tanenbaum. Computer Networks, Prentice-Hall. Traduction française: Réseaux: architectures, protocoles, applications, Interéditions.

[Typage des communications d'objets structurés]

[13]

Xavier Leroy, Michel Mauny. Dynamics in ML. Actes de FPCA 91, LNCS 523, Springer-Verlag.

[14]

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

[Programmation avec coprocessus]

[15]

David R. Butenhof. Programming with POSIX Threads. Addison-Wesley, 1997.

[Applications]

[16]

Pierce et al. Unison File Synchronizer. Version 2.9.1. User Manual and Reference. Logiciel libre, disponible, à l’URL http://www.cis.upenn.edu/~bcpierce/unison/.