From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=NO_REAL_NAME autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 2913CBC37 for ; Fri, 21 Aug 2009 17:00:52 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArQCABNTjkrUGyoFkWdsb2JhbACbBwEBAQEJCwoHEwO7E4QYBQ X-IronPort-AV: E=Sophos;i="4.44,251,1249250400"; d="scan'208";a="31413210" Received: from smtp5-g21.free.fr ([212.27.42.5]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Aug 2009 17:00:51 +0200 Received: from smtp5-g21.free.fr (localhost [127.0.0.1]) by smtp5-g21.free.fr (Postfix) with ESMTP id 9650ED48160 for ; Fri, 21 Aug 2009 17:00:46 +0200 (CEST) Received: from apc.happyleptic.org (happyleptic.org [82.67.194.89]) by smtp5-g21.free.fr (Postfix) with ESMTP id B3EC0D480CD for ; Fri, 21 Aug 2009 17:00:43 +0200 (CEST) Received: from fp-desktop.fr.evistel.com (ev [88.169.116.225]) by apc.happyleptic.org (Postfix) with ESMTP id 2EE26334FD for ; Fri, 21 Aug 2009 17:00:43 +0200 (CEST) Received: from ccellier by fp-desktop.fr.evistel.com with local (Exim 4.69) (envelope-from ) id 1MeVbd-0004Rk-Ic for caml-list@inria.fr; Fri, 21 Aug 2009 17:00:41 +0200 Date: Fri, 21 Aug 2009 17:00:41 +0200 From: rixed@happyleptic.org To: caml-list@inria.fr Subject: Re: [Caml-list] Good book about ML compilation ? Message-ID: <20090821150041.GA16600@fp-desktop.fr.evistel.com> References: <20090820184052.GA28533@happyleptic.org> <20090820214726.GA2015@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20090820214726.GA2015@annexia.org> User-Agent: Mutt/1.5.18 (2008-05-17) X-Spam: no; 0.00; compilation:01 interresting:01 ocaml:01 ocaml:01 abstract:01 caml-list:01 simonpj:02 implemented:02 functional:02 functional:02 languages:03 programming:03 programming:03 papers:06 en-us:92 > For functional programming specifically, you might try Simon > Peyton-Jones's book "The Implementation of Functional Programming > Languages". This used to be available free here, but as I write the > website is down: > > http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/ It works right now, and seams interresting indeed. Thank you for this valuable bookmark. I hope they use the same designations as in OCaml source for the more abstract concept :) > Best way to find out how OCaml is implemented is to read > the source. Yes, I'm doing plenty of that now.