From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Xavier.Leroy@inria.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 36CAE7ED25
	for <caml-list@sympa.inria.fr>; Tue, 16 Jul 2013 17:33:03 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="4.89,677,1367964000"; 
   d="scan'208";a="26229674"
Received: from estephe.inria.fr (HELO [128.93.11.95]) ([128.93.11.95])
  by mail2-relais-roc.national.inria.fr with ESMTP; 16 Jul 2013 17:33:03 +0200
Message-ID: <51E567AF.8000900@inria.fr>
Date: Tue, 16 Jul 2013 17:33:03 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130510 Thunderbird/17.0.6
MIME-Version: 1.0
To: Nicolas Ojeda Bar <N.Ojeda.Bar@dpmms.cam.ac.uk>
CC: caml-list@yquem.inria.fr
References: <C8C9C2E7-7C3D-4990-952B-D8E594AAEFF7@dpmms.cam.ac.uk>
In-Reply-To: <C8C9C2E7-7C3D-4990-952B-D8E594AAEFF7@dpmms.cam.ac.uk>
X-Enigmail-Version: undefined
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] sources for ZINC?

On 2013-07-12 21:59, Nicolas Ojeda Bar wrote:
> Dear list,
> 
> I was wondering if the sources for ZINC, described in X. Leroy's thesis
> are available anywhere...?

Caml Light is pretty close to what's described in the ZINC report,
esp. the abstract machine.  Available here:

http://caml.inria.fr/caml-light/release.html

- Xavier Leroy