From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 7EBAEBBAF for ; Tue, 1 Aug 2006 09:56:28 +0200 (CEST) Received: from m14s26.vip-server.net (m14s26.vip-server.net [193.138.181.188]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k717uNPK020161 for ; Tue, 1 Aug 2006 09:56:28 +0200 Received: from [ZH?c???IPv6:::1] (localhost [127.0.0.1]) by m14s26.vip-server.net (Postfix) with ESMTP id 7E7DA89131 for ; Tue, 1 Aug 2006 09:45:24 +0200 (CEST) Mime-Version: 1.0 (Apple Message framework v752.2) In-Reply-To: <3d13dcfc0608010036i2d285a67peb7547d7fea2a104@mail.gmail.com> References: <1A2CE1CA-F715-46C0-8FF2-2B5503AF4A6B@gmail.com> <3d13dcfc0608010036i2d285a67peb7547d7fea2a104@mail.gmail.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <9CCE3302-AE54-4FDC-B09B-86B5A5E733F5@gaillourdet.net> Content-Transfer-Encoding: 7bit From: Jean-Marie Gaillourdet Subject: Re: [Caml-list] Resources for compiler/interpreter writers Date: Tue, 1 Aug 2006 09:57:08 +0200 To: caml-list X-Pgp-Agent: GPGMail 1.1.2 (Tiger) X-Mailer: Apple Mail (2.752.2) X-Miltered: at concorde with ID 44CF0928.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; compiler:01 hash:01 compiler:01 sml:01 ocaml:01 translated:01 caml-list:01 caml:02 darwin:04 pgp:05 pgp:05 message-----:05 i'd:05 gnupg:06 interpreter:07 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=UPPERCASE_25_50 autolearn=disabled version=3.0.3 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello, I am not sure what kind of information you are interested in. Do you know: Andrew W. Appel: "Modern Compiler Implementation in ML" ? It covers SML and not Caml or OCaml but I'd say most concepts should be translated easily. Best Regards, Jean-Marie -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (Darwin) iD8DBQFEzwlZNIUNP/I5YOgRAmjJAKCM6Bpt0IzLwH8WmK3uSUSTGooAyACgmX5D 0ahxKvolgo5/UL5RbaNUwwQ= =08tI -----END PGP SIGNATURE-----