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 OAA16077 for caml-redistribution; Thu, 7 Oct 1999 14:15:38 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA12538 for ; Thu, 7 Oct 1999 10:27:22 +0200 (MET DST) Received: from venus.is.s.u-tokyo.ac.jp (venus.is.s.u-tokyo.ac.jp [133.11.12.9]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id KAA02334 for ; Thu, 7 Oct 1999 10:27:12 +0200 (MET DST) Received: from piccolo.is.s.u-tokyo.ac.jp (root@piccolo [133.11.12.78]) by venus.is.s.u-tokyo.ac.jp (8.9.3/3.7W) with ESMTP id RAA21558 for ; Thu, 7 Oct 1999 17:27:09 +0900 (JST) Received: from localhost (affeldt@localhost [127.0.0.1]) by piccolo.is.s.u-tokyo.ac.jp (8.9.3/3.7W) with ESMTP id TAA00662 for ; Wed, 6 Oct 1999 19:39:39 +0900 To: caml-list@inria.fr Subject: OCAML bytecode X-Mailer: Mew version 1.93 on XEmacs 20.4 (Emerald) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <19991006193939J.affeldt@kiki> Date: Wed, 06 Oct 1999 19:39:39 +0900 From: Reynald AFFELDT X-Dispatcher: imput version 980905(IM100) Sender: weis [Loose English translation follows] Bonjour, La machine abstraite et le code abstrait de OCAML sont-ils documentes ailleurs que dans le rapport technique a propos de ZINC? Merci, Reynald Affeldt --------------------------------------------------------------------------- Hi, Where can I find documentation about the OCAML bytecode and the OCAML abstract machine? All I found is the report about ZINC. Thanks, Reynald Affeldt