Re: Documentation on Caml Light runtime

From: Xavier Leroy (
Date: Tue Feb 18 1997 - 17:59:09 MET

From: Xavier Leroy <>
Message-Id: <>
Subject: Re: Documentation on Caml Light runtime
In-Reply-To: <> from Pinku Surana at "Feb 7, 97 12:47:04 pm"
To: (Pinku Surana)
Date: Tue, 18 Feb 1997 17:59:09 +0100 (MET)

> I would like to make some changes to the Caml Light runtime
> system. Before I begin, I am hoping that someone might have some
> documentation about the structure of the runtime system. This would
> be a tremendous aid as I delve into the code myself. Please email
> any info...

A description of the Caml Light implementation at a very early stage
can be found in the following tech report:

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

Some parts of the report are still relevant seven years later, such as
the description of the abstract machine. Other parts are hopelessly
out of date.

Some info on the garbage collector is also available at, in particular
an excellent overview written by Peter Sestoft at

Good luck,

- Xavier Leroy

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:09 MET