From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA03225 for caml-red; Wed, 16 Aug 2000 16:54:07 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA12249 for <caml-list@pauillac.inria.fr>; Mon, 14 Aug 2000 15:05:20 +0200 (MET DST)
Received: from mail.comlab.ox.ac.uk (mail.comlab.ox.ac.uk [163.1.27.1])
	by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e7ED5Jb14517
	for <caml-list@inria.fr>; Mon, 14 Aug 2000 15:05:19 +0200 (MET DST)
Received: from athos (athos.comlab.ox.ac.uk [163.1.124.131])
	by mail.comlab.ox.ac.uk (M1.2/8.8.8) with SMTP id OAA20551
	for <caml-list@inria.fr>; Mon, 14 Aug 2000 14:05:19 +0100 (BST)
From: "Ivan Sanabria-Piretti" <Ivan.Sanabria@comlab.ox.ac.uk>
To: <caml-list@inria.fr>
Subject: Caml type inference of references and mutable records
Date: Mon, 14 Aug 2000 14:04:27 +0100
Message-ID: <000701c005f0$2d50e4e0$837c01a3@athos.comlab.ox.ac.uk>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook 8.5, Build 4.71.2173.0
Importance: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3
Sender: weis@pauillac.inria.fr

Dear Camlers,

I am looking for papers where the Caml's current polymorphic typing and
inference algorithm of mutable data types are studied in detailed.  I am
mainly interested in the typing of references and mutable records.

I have found two papers by Xavier Leroy on the INRIA repository that
describe different approaches to the typing of references; there are:
"Polymorphic type inference and assignment", 1991, and "Polymorphism by name
for references and continuations", 1993.  But it is not clear to me if any
of these approaches is used currently in Caml.

Thanks,

Ivan Sanabria-Piretti