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 E5EF07EE89 for ; Sat, 29 Oct 2016 04:00:25 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=shayne.fletcher.50@gmail.com; spf=Pass smtp.mailfrom=shayne.fletcher.50@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f174.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of shayne.fletcher.50@gmail.com) identity=pra; client-ip=209.85.161.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="shayne.fletcher.50@gmail.com"; x-sender="shayne.fletcher.50@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of shayne.fletcher.50@gmail.com designates 209.85.161.174 as permitted sender) identity=mailfrom; client-ip=209.85.161.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="shayne.fletcher.50@gmail.com"; x-sender="shayne.fletcher.50@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-f174.google.com) identity=helo; client-ip=209.85.161.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="shayne.fletcher.50@gmail.com"; x-sender="postmaster@mail-yw0-f174.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ADucG7xAPu6aBU1vYcHP5UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP7zrsbcNUDSrc9gkEXOFd2CrakV0ayJ7+u9BSQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09?= =?us-ascii?q?fr2zQd+IyZvrnL3us7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJce?= =?us-ascii?q?kFjUlhJFaUggqurpzopM0r221qtvkg789NV7nhN+R9FOQATWduD2dgy8ThrxjO?= =?us-ascii?q?SUO07XsRSGgM2k5HCgLf7Rz+GIz6sibgu/BV1yyTPMmwRrcxD2eM9aBuHSTogT?= =?us-ascii?q?YBOnYX9GzLgcx9luoPuxKothpyhYDQbZ2eNPdkOP6FVdwfTGtFGM1WUnoSUcuH?= =?us-ascii?q?c4ITAr9Zbq5jpI7nqg5L9EPmCA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CyAAB6AhRYhq6hVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgn8BAQEBAYFkEAeNL5Z/jFGCU4UbggeGHgMCAoF6Bz8UAQEBAQE?= =?us-ascii?q?BAQEBAQESAQEBCAsLCR0wgjMEARUBBIIHCgEBBBIRHQEbHQEDDAYFAwEHDSoCA?= =?us-ascii?q?iEBAREBBQEcBhMiiBcBAxekDYEyPzKLRoFrgl8Fg1cKGScNVIMVAQEBAQEBAQE?= =?us-ascii?q?BAQEBAQEBAQEBFwIGEIsCgkeFBIJcBYElAZg9KwgBAYEnhj6FGoMpkASIc4Qcg?= =?us-ascii?q?j8THoERHoFLglYggXoiNIcYgUoBAQE?= X-IPAS-Result: =?us-ascii?q?A0CyAAB6AhRYhq6hVdFdHAEBBAEBCgEBFwEBBAEBCgEBgn8?= =?us-ascii?q?BAQEBAYFkEAeNL5Z/jFGCU4UbggeGHgMCAoF6Bz8UAQEBAQEBAQEBAQESAQEBC?= =?us-ascii?q?AsLCR0wgjMEARUBBIIHCgEBBBIRHQEbHQEDDAYFAwEHDSoCAiEBAREBBQEcBhM?= =?us-ascii?q?iiBcBAxekDYEyPzKLRoFrgl8Fg1cKGScNVIMVAQEBAQEBAQEBAQEBAQEBAQEBF?= =?us-ascii?q?wIGEIsCgkeFBIJcBYElAZg9KwgBAYEnhj6FGoMpkASIc4Qcgj8THoERHoFLglY?= =?us-ascii?q?ggXoiNIcYgUoBAQE?= X-IronPort-AV: E=Sophos;i="5.31,561,1473112800"; d="scan'208";a="198565270" Received: from mail-yw0-f174.google.com ([209.85.161.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 Oct 2016 03:59:58 +0200 Received: by mail-yw0-f174.google.com with SMTP id u124so108067771ywg.3 for ; Fri, 28 Oct 2016 18:59:58 -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=ZmTKhHYg35HmzxUMq5qvYoJZTWtgd0D99KSQVf7ZpKo=; b=RU5Kq4G03ZHc5F89OFczZKFvxu+y53l5amXJQxXEIIOsRfHe/ryKhvIlevRsOcrtpE cqlPwJvmADwQGU7IVI4f4jEUx5E5n/D+rBoKB4fqaoP/rQZjaEObT9So7Jmvyt59GcOS Un+BUP6GhMznNjjiDxX1KoO2M75ZOddgqyp87Iq4TrgfXvHSY99fLsuBwqUTlqQOgP4l athv6rljGEhzNuARJf9jUmQWwnMrwAFzo1S8XrY14iqfOuglC90DHNb5vW2Tu9V97jO8 MN5xT6rfNQrJEEmGvE9BVgBWMCsbNFPdDACWnqWLrzVlHxwEnYkZwdUAZZQ7G/pDfQ4s cXeg== 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=ZmTKhHYg35HmzxUMq5qvYoJZTWtgd0D99KSQVf7ZpKo=; b=DNelRr8xKUJDIgWSxWR/XbJUUzzRfR1VdauAj3RSbUk2tfN3E9ANS0BA3dewoVy5cn e/yYvA+9KYwF1JNQl7iCiUKubyzeWxeg27UCxi3tn0zOl9TXSkJfPbWx0eAobnN46aN6 xoYV9bpuzVA52jMLh4jpn0URk9sKOfG0jLcxbrgcyKHLRy/OlXxJrZpZElHiL4tHStxP 7pmBRGuO+gqOH2kWNNx4eg8MiwXpF6I2vOv8jI67H+C1AOlXhcgJKED+MErJoxCi2rwH DVjq8Tb8tvm1CCzCHsbR7jbA128ZM1XcpQWmsrLLbhsYXIG6Zo8soIdLAC5W1j2SamQz Bpqg== X-Gm-Message-State: ABUngvcRfFTxayRwkVIdojdYWGO2Vaboci6eV3UMJy3ysm9+r+1ptxrV10TDiUordlELcl30t22W3RCWxizFPg== X-Received: by 10.13.226.83 with SMTP id l80mr16673099ywe.77.1477706396801; Fri, 28 Oct 2016 18:59:56 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.39.202 with HTTP; Fri, 28 Oct 2016 18:59:56 -0700 (PDT) Received: by 10.37.39.202 with HTTP; Fri, 28 Oct 2016 18:59:56 -0700 (PDT) In-Reply-To: References: <20161028134720.GA25915@ccellier.booking.pcln.com> From: Shayne Fletcher Date: Fri, 28 Oct 2016 21:59:56 -0400 Message-ID: To: Gabriel Scherer Cc: "caml-list@inria.fr users" , Chapi Chapo Content-Type: multipart/alternative; boundary=001a114fa850dd50b1053ff754ce Subject: Re: [Caml-list] Functor signature "inheritance" --001a114fa850dd50b1053ff754ce Content-Type: text/plain; charset=UTF-8 On Oct 28, 2016 11:45 AM, "Gabriel Scherer" wrote: > > 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. Copy. Thanks. --001a114fa850dd50b1053ff754ce Content-Type: text/html; charset=UTF-8

On Oct 28, 2016 11:45 AM, "Gabriel Scherer" <gabriel.scherer@gmail.com> wrote:
>
> 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.

Copy. Thanks.

--001a114fa850dd50b1053ff754ce--