From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rixed@happyleptic.org>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 0C29B7EE89
	for <caml-list@sympa.inria.fr>; Fri, 28 Oct 2016 15:47:23 +0200 (CEST)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rixed@happyleptic.org; spf=None smtp.mailfrom=rixed@happyleptic.org; spf=None smtp.helo=postmaster@pim.happyleptic.org
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  rixed@happyleptic.org) identity=pra; client-ip=5.135.156.187;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="rixed@happyleptic.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  rixed@happyleptic.org) identity=mailfrom;
  client-ip=5.135.156.187;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="rixed@happyleptic.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@pim.happyleptic.org) identity=helo;
  client-ip=5.135.156.187;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="postmaster@pim.happyleptic.org";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3Ax3H2nRUfbw+1UlV5FXzHy48amJLV8LGtZVwlr6E/?=
 =?us-ascii?q?grcLSJyIuqrYZhSPt8tkgFKBZ4jH8fUM07OQ6PG6HzNbqsvf+DBaKdoXCE9D0Z?=
 =?us-ascii?q?1X1yUbQ+e7SmTDZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5y?=
 =?us-ascii?q?O/inUtWK15f//6mI9pbSewRFgiamKfM3dU3u7FaZis5DuotrO6A8gjXNr2dDe+?=
 =?us-ascii?q?lMjTdzJVuCmRu66MO94JVj/j4W5qoJ+MtJUKG8dKM9G+92FjMjZno09MDnnRnK?=
 =?us-ascii?q?VROe4nYETmQd1B1SDFuWpCrmV4v853Op/tF23zOXaIivFeg5?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AkEAAHVhNY/7uchwVbHAEBBAEBCgEBF?=
 =?us-ascii?q?wEBBAEBCgEBgn8BAQEBAR9YfbNZhyIshXcCCIFwQxABAQEBAQEBAQEBAWEoQgE?=
 =?us-ascii?q?BAwkEgV8EARUBBIIRAQEEOgYBATcBDwshJQ8FSYhrAQEIsEOFMAEBBYghAQEBA?=
 =?us-ascii?q?QEBAQMBAQEBARoIixKFKoJNgi+aHYdliDeBYwGOK5EQNR+Da4IAPDSBaIITgi6?=
 =?us-ascii?q?BSgEBAQ?=
X-IPAS-Result: =?us-ascii?q?A0AkEAAHVhNY/7uchwVbHAEBBAEBCgEBFwEBBAEBCgEBgn8?=
 =?us-ascii?q?BAQEBAR9YfbNZhyIshXcCCIFwQxABAQEBAQEBAQEBAWEoQgEBAwkEgV8EARUBB?=
 =?us-ascii?q?IIRAQEEOgYBATcBDwshJQ8FSYhrAQEIsEOFMAEBBYghAQEBAQEBAQMBAQEBARo?=
 =?us-ascii?q?IixKFKoJNgi+aHYdliDeBYwGOK5EQNR+Da4IAPDSBaIITgi6BSgEBAQ?=
X-IronPort-AV: E=Sophos;i="5.31,410,1473112800"; 
   d="scan'208";a="242766934"
Received: from pim.happyleptic.org ([5.135.156.187])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Oct 2016 15:47:22 +0200
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=happyleptic.org; s=20160823;
	h=In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=JQ+LCkPrAMkqsXpl7qBmaaCg1P/VJPaBhUEqC0zI3AA=;
	b=Q1M9pUjDVnGH4P+sqLMw3gBOgqkG5ATTSOijayIS5rLVRiQqqtvh16YaLBpC/IL4jk0YiHgYyNa1a/iqP6UBPUn7ZSU/ZLon4Oh9++8sLPh768eTPtPQxn6MNMKEpNWDAaeqV75f+WhcmdCLNyw2ZVGwBGR2Gt+gZZ5syBo26yA=;
Received: from localhost ([127.0.0.1] helo=ccellier.booking.pcln.com)
	by pim.happyleptic.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
	(Exim 4.84_2)
	(envelope-from <rixed@happyleptic.org>)
	id 1c07VK-00060a-NF; Fri, 28 Oct 2016 15:47:30 +0200
Date: Fri, 28 Oct 2016 15:47:20 +0200
From: rixed@happyleptic.org
To: Shayne Fletcher <shayne.fletcher.50@gmail.com>
Cc: "caml-list@inria.fr users" <caml-list@inria.fr>
Message-ID: <20161028134720.GA25915@ccellier.booking.pcln.com>
References: <CAMsAzy-x_j=3PPo-krQ08+PW5Y3fLgw2s=U28B5dpZ=PdYwOOw@mail.gmail.com>
 <CADK7aFOEJfpJObhX2rs4uHDO62B7e_jkzde2yxYLqgwB6tguHg@mail.gmail.com>
 <CAMsAzy_k1X0vo6a2+sEOrHsTJaWpYzCWMwccFwT-ZmR22P57qA@mail.gmail.com>
 <CADK7aFPTLQP22Duwrjom1YEuChvNhhgCvz83SU+5QbHfE3GsPQ@mail.gmail.com>
 <CAMsAzy9tG0eiimcfM4X3CR-N_ymeKkGTfx3Ao_7Bu=vOo4SSWA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAMsAzy9tG0eiimcfM4X3CR-N_ymeKkGTfx3Ao_7Bu=vOo4SSWA@mail.gmail.com>
User-Agent: Mutt/1.5.23 (2014-03-12)
Subject: Re: [Caml-list] Functor signature "inheritance"

Best book I've seen about this is this one:
http://www.eyrolles.com/Informatique/Livre/programmation-fonctionnelle-generique-et-objet-9782711748433

unfortunately never translated, and out of print.
That's really a shame.