From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: pinkus@comm.mot.com (Pinku Surana)
Cc: caml-list@inria.fr
Subject: Re: Documentation on Caml Light runtime
Date: Tue, 18 Feb 1997 17:59:09 +0100 (MET) [thread overview]
Message-ID: <199702181659.RAA29134@pauillac.inria.fr> (raw)
In-Reply-To: <9702071246.ZM4854@unknown.zmail.host> from Pinku Surana at "Feb 7, 97 12:47:04 pm"
> 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.
http://pauillac.inria.fr/~xleroy/publi/ZINC.ps.gz
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
http://pauillac.inria.fr/~doligez/caml-light-gc/, in particular
an excellent overview written by Peter Sestoft at
http://pauillac.inria.fr/~doligez/caml-light-gc/Sestoft94.txt
Good luck,
- Xavier Leroy
prev parent reply other threads:[~1997-02-18 17:39 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-02-07 18:47 Pinku Surana
1997-02-18 16:59 ` Xavier Leroy [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199702181659.RAA29134@pauillac.inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.fr \
--cc=pinkus@comm.mot.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox