Previous Up Next

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

Previous Up Next