References

OCaml

[1]

Xavier Leroy, Michel Mauny. The Caml Light system, release 0.5. Documentation and user’s manual. L-5 software, distributed by inria.

[2]

Xavier Leroy, Didier Rémy, Jacques Garrigue, Jérôme Vouillon and Damien Doligez. The OCaml system, documentation and user’s manual – release 3.06. Documentation distributed by inria with the OCaml system, August 2002. http://caml.inria.fr/pub/docs/manual-ocaml/.

[3]

Bruno Verlyck. Cash, the Caml Shell – release 0.20. Documentation distributed by inria with the Cash system, 2002. http://pauillac.inria.fr/cash/.

Unix system programming

[4]

The Unix manual, sections 2 and 3.

[5]

Brian Kernighan, Rob Pike. The Unix programming environment, Addison-Wesley.

[6]

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

[7]

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

Unix kernel architecture

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

[10]

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

[11]

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

General knowledge on operating systems

[12]

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

[13]

Andrew Tanenbaum. Operating systems, design and implementation, Prentice-Hall.

[14]

Andrew Tanenbaum. Computer Networks, Prentice-Hall.

Typed communication of structured objects

[15]

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

[16]

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

Threads programming

[17]

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

Applications

[18]

Pierce et al. Unison File Synchronizer. Version 2.9.1. User Manual and Reference. Free software available from http://www.cis.upenn.edu/~bcpierce/unison/.