From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 73D447EE89 for ; Fri, 28 Oct 2016 17:45:03 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f172.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.161.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.161.172 as permitted sender) identity=mailfrom; client-ip=209.85.161.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f172.google.com) identity=helo; client-ip=209.85.161.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-yw0-f172.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AR0BP+B0W/b8BAwAhsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segeI/ad9pjvdHbS+e9qxAeQG96KsbQb0KGL7ejJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMz?= =?us-ascii?q?fbWvXNGJxJnpn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM8?= =?us-ascii?q?5fxGdvOE7B102kvpT41NdZ/i9Ro/Ms8dJbGeW/JvxgDO8QMDNzCGA89cvm/TfH?= =?us-ascii?q?QBeE5nYGGjENkhNZBQWD4hX3QpzxvzG867JV1yyTPMmwRrcxD2eM9aBuHTDhgj?= =?us-ascii?q?0GOjpxy2rXh9Z9luoPrxurvR1yx8jPa4GYLvdkVqzYdNIeA2FGW5ACBGR6Hoqg?= =?us-ascii?q?Yt5XXKI6NuFCoty4/gNWoA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BOAgCAcRNYhqyhVdFcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgn8BAQEBAYFkEAekLY8khyKGIwKBdwdDEAEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQgLCwkdMIIzBAEVAQSCEQEBBBIRHQEbHQEDDAYFCw0CAiYCAiEBAREBBQEcB?= =?us-ascii?q?hMiiBcBAxejLIEyPzKLRoFrgl8Fg1sKGScNU4MRAQEBAQEFAQEBAQEaAgYQd4U?= =?us-ascii?q?2hFWCR4UEglsBBJljNYFohX2FGoMokASIc4Qcgj8THoERNXCDGiCBeiI0AYYog?= =?us-ascii?q?UoBAQE?= X-IPAS-Result: =?us-ascii?q?A0BOAgCAcRNYhqyhVdFcHAEBBAEBCgEBFwEBBAEBCgEBgn8?= =?us-ascii?q?BAQEBAYFkEAekLY8khyKGIwKBdwdDEAEBAQEBAQEBAQEBEgEBAQgLCwkdMIIzB?= =?us-ascii?q?AEVAQSCEQEBBBIRHQEbHQEDDAYFCw0CAiYCAiEBAREBBQEcBhMiiBcBAxejLIE?= =?us-ascii?q?yPzKLRoFrgl8Fg1sKGScNU4MRAQEBAQEFAQEBAQEaAgYQd4U2hFWCR4UEglsBB?= =?us-ascii?q?JljNYFohX2FGoMokASIc4Qcgj8THoERNXCDGiCBeiI0AYYogUoBAQE?= X-IronPort-AV: E=Sophos;i="5.31,410,1473112800"; d="scan'208";a="198532962" Received: from mail-yw0-f172.google.com ([209.85.161.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Oct 2016 17:45:02 +0200 Received: by mail-yw0-f172.google.com with SMTP id p22so76002742ywe.0 for ; Fri, 28 Oct 2016 08:45:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=p+8Wc7Bii56xdYR+lTkdBZCAwS7o1c2N9n4l92khzds=; b=G4by9pGz9BtqHCGKhY9j02vvs2H3L8HcoPVi9Vmei1465CysI8BEP/iVx90t0ZwXal ocjdM9GdRqZhGvmvCDYl6OD+DLAKnKA3+eweBpipotadwEXCv+naGTu9Y+jKMYdGHwmG 0mWqT3Z+EyIbv7vO2IjDHzVwKWTSk10NJMGCWLVzQdbBbVEanw9N7WI+QMUBNH2wvN8e KULF3nChQWYvKeHPJpYfPn4eLSicuWsel3/uexcxgbm0NLZfiNHqTfFng5aV4U47VdEn fXN8BYrpiZ0J7GlLbEEaMLZ3E7t+i6be7+FdAvrWpASQXkTMrczdFArUU0/FpJtdRh3Y Bx5w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=p+8Wc7Bii56xdYR+lTkdBZCAwS7o1c2N9n4l92khzds=; b=blhagBdElKlC5uaAsDIzPULDwR9MZspJ44QS8d4tRcviXnMuL8ZQ0o9S75tk9Dt1yI GkU4xT45k9hJm+isqVONhoVCr3dVeDOeSzM7KirG9jG9bZvraECgsP/quBk20e9/6PEv mKmHMBT1wKyJOTEizJQwvOXx8A8qzToclUE6iOXYbzsfbfTBszm7lTLAdHKXvGlFi3RG E2dvoK7FPdDQMweRmheOBThWkn9XyBpxka3BQevkQycjG5UeFj2NFmRDyec8lELextCU ByA7ar4ODRraKZiEzPeIUC1W20uco2jLKNKyDdWIJlnMZ/ww3vFW1V5N9QdOvC21sxxu 6v8Q== X-Gm-Message-State: ABUngveoFcsynRfSjDhRmS1FLS5tG09ys5oSWVt1aAZEmJ3Dw7UWVio6a3A+EZfVWYO56FnKRWB2/ZpdoaB6Iw== X-Received: by 10.107.164.209 with SMTP id d78mr11666626ioj.182.1477669501082; Fri, 28 Oct 2016 08:45:01 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.30.129 with HTTP; Fri, 28 Oct 2016 08:44:20 -0700 (PDT) In-Reply-To: References: <20161028134720.GA25915@ccellier.booking.pcln.com> From: Gabriel Scherer Date: Fri, 28 Oct 2016 11:44:20 -0400 Message-ID: To: Shayne Fletcher Cc: Cedric Cellier , "caml-list@inria.fr users" Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Functor signature "inheritance" This book can be found in online repositories (do you know about the Library Genesis project?), but I don't think it can be diffused without a copyright violation. If the list is out of print, the author should be able to ask for it to be either reprinted, or to recover diffusion rights for it -- and thus make it available online if they so desire. But that is a procedure that (as understood in French law) only the author can perform, I believe. On Fri, Oct 28, 2016 at 9:55 AM, Shayne Fletcher wrote: > > On Fri, Oct 28, 2016 at 9:47 AM, wrote: >> >> unfortunately never translated, and out of print. >> That's really a shame. > > > Truly. I'd even try wading through it in French if it were available > somewhere but alas! > > -- > Shayne Fletcher