Introduction

The purpose of this Web page is to give documents and links about the low-level details of the implementations of Caml Light and Objective Caml.

Contributions are welcome. Send them to Damien.

Garbage Collection

Papers relevant to the Caml Light and O'Caml garbage collectors:

• Damien Doligez -- Réalisation d'un glaneur de cellules de Lang et Dupont à générations -- Rapport de DEA (in French), Université Paris 7, September 1989. -- 785k gzipped PostScript file
• Damien Doligez and Xavier Leroy -- A concurrent, generational garbage collector for a multithreaded implementation of ML -- In Principles of Programming Languages -- ACM Press, January 1993. -- 60k gzipped PostScript file
• Damien Doligez and Georges Gonthier -- Portable, Unobtrusive Garbage Collection for Multiprocessor Systems -- In Principles of Programming Languages -- ACM Press, January 1994. -- 87k gzipped PostScript file
• Peter Sestoft -- The garbage collector used in Caml Light -- email message, October 1994. -- 7k text file
• Damien Doligez -- Conception, réalisation et certification d'un glaneur de cellules concurrent -- PhD thesis (in French), Université Paris 7, May 1995. -- 437k gzipped PostScript file -- 458k gzipped tar of the TeX source files (with EPSF figures)

Traps of the C/Caml interface

• Manuel Fähndrich -- OCaml - CInterface: interesting bug scenario -- email message, May 1999 -- 6k text file

Objects

• Jérôme Vouillon et al -- email messages, September 1999 -- 6k text file