From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 7A4CE82355 for ; Wed, 3 Jan 2018 15:44:22 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=SoftFail smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=None smtp.helo=postmaster@vrout30.yaziba.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of nicolas.ojeda.bar@lexifi.com) identity=pra; client-ip=185.56.204.33; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="nicolas.ojeda.bar@lexifi.com"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain of nicolas.ojeda.bar@lexifi.com is inclined to not designate 185.56.204.33 as permitted sender) identity=mailfrom; client-ip=185.56.204.33; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="nicolas.ojeda.bar@lexifi.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@vrout30.yaziba.net) identity=helo; client-ip=185.56.204.33; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="postmaster@vrout30.yaziba.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Am/tPehObOcPSxTt4TIUl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0K/z+psbcNUDSrc9gkEXOFd2Cra4c0qyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUmTaxe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iS?= =?us-ascii?q?cHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzcaTAc9MHXmpBRtheWDBdAo2y?= =?us-ascii?q?aIsPCvAOPeder4Lgo1cDoh+zCQyqCejyyDFHm2X20LU43OQvEQ/I0g8uEc8Qvn?= =?us-ascii?q?vIt9j6LrseXPqvwaXU0TnObfVb0ir95ojSdRAhpOmBU6pxccXNzkkvEwHCjk6I?= =?us-ascii?q?poL8PTOayPkCvHKD4Od9UOWvkXMspgZ3ojiu2sgsjY3JiZgOylze8iV5wpg6Ks?= =?us-ascii?q?CiR0JhetGrCoFQujqeN4RoTcIiQm9ouCcgxrIavp67eTEHxZI6zBDRbPyHdpKH?= =?us-ascii?q?4hPlVOuJOzh3mGhpdKi9hxaq6USgy+v8VtO10FlQtCZFnMPMumgN1hPJ6siHTf?= =?us-ascii?q?x98l291jaI0gDf8udELlo7larcK58u2Kc8locJvUvZAiD6gkf2jLeQe045+eao?= =?us-ascii?q?8/zqbqjlq5KcLYN5igDzPr4wlsCjDuk0KAYDUmaD9eiiyLHu+Vf1TbZKg/EsjK?= =?us-ascii?q?XVrZHXKd4GqqO7AwJY1Jso5QylADe8ytsYmGEKLFJbdxKDiIjkI0/OIOr/Dfei?= =?us-ascii?q?n1Shnitny+rGP7L7A5TNL2PMn637cbZ79UFc1BI/zdFZ551KFrEMOO//V0zxud?= =?us-ascii?q?DCDhI0Mha4z/j7BNhyzI8TV2yCDrecMKzIsF+I4uwvI/OLZI8QoDv9Lfkl6OLp?= =?us-ascii?q?jX89g1AdZrOl3ZwVaH+mA/tpOV+VbmH2jdcbCmoKuhQxTePriF2MUD5ffWq9X6?= =?us-ascii?q?U55j0jEoKpEZ/DRpyxgLyGxCq6EZlWaX5cClCLEXblbISFW/YJaC2JOM9uiCYI?= =?us-ascii?q?VbmnS4871BGhrhX2y7R9LuDM4C0XqYrj1MRp5+3UjRw96SZ7D8GZ022US2F0n3?= =?us-ascii?q?gIRyMt0aBkoU19z0+D3rJij/xZE9xT/fJJXR0gOZ7S1ex2E9XyWgXccdiXUFum?= =?us-ascii?q?WdCmAS0pTtI23t8OfxU1J9L3vhnd3iewS5sYjbuaTMgE+7zd0mK3A8tnzGfu1a?= =?us-ascii?q?87jlBgTNEZZkO8gasq0QnYAIpAiHK+laumfJM2UDSFoGGCxm2KtVoeVwx9XayD?= =?us-ascii?q?V3kFTk/bvdX35wXJSLr4WudvCRdI1cPXcvgCUdbul1gTAaq6NQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CpAAAA60xahyHMOLlcFgYBAQEEAQEKA?= =?us-ascii?q?QGEJHQnB4QAgTmYBIIBFIJUllcKI4M6gV4ChCkHQxQBAQEBAQEBAQEBEgEBAQo?= =?us-ascii?q?LCQgoL4I4JIJHAQEBAQEBASMERwsFCwsEBw0NFgcCAiISAQUBChIGExKKBAMNC?= =?us-ascii?q?AQBC6Q2QIwQgW06hzsDgRWBZQEBAQEGAQEBAQEjhBOCEoZtgyQMhQWCZQEEiGE?= =?us-ascii?q?MmmSIA40zgnyRBY0niUsUBSCBFQIPJ4Fxb1IyBoFxCYISSSWBT3cBAYk6AQEB?= X-IPAS-Result: =?us-ascii?q?A0CpAAAA60xahyHMOLlcFgYBAQEEAQEKAQGEJHQnB4QAgTm?= =?us-ascii?q?YBIIBFIJUllcKI4M6gV4ChCkHQxQBAQEBAQEBAQEBEgEBAQoLCQgoL4I4JIJHA?= =?us-ascii?q?QEBAQEBASMERwsFCwsEBw0NFgcCAiISAQUBChIGExKKBAMNCAQBC6Q2QIwQgW0?= =?us-ascii?q?6hzsDgRWBZQEBAQEGAQEBAQEjhBOCEoZtgyQMhQWCZQEEiGEMmmSIA40zgnyRB?= =?us-ascii?q?Y0niUsUBSCBFQIPJ4Fxb1IyBoFxCYISSSWBT3cBAYk6AQEB?= X-IronPort-AV: E=Sophos;i="5.45,501,1508796000"; d="scan'208,217";a="307530411" Received: from vrout30.yaziba.net ([185.56.204.33]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 Jan 2018 15:44:21 +0100 Received: from mtaout20.int.yaziba.net (mtaout20.int.yaziba.net [10.4.20.37]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by vrout30.yaziba.net (mx10.yaziba.net) with ESMTPS id C36235217A; Wed, 3 Jan 2018 15:44:20 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mtaout20.int.yaziba.net (Postfix) with ESMTP id C7E451606A8; Wed, 3 Jan 2018 15:44:20 +0100 (CET) X-Virus-Scanned: amavisd-new at mtaout20.int.yaziba.net Received: from mtaout20.int.yaziba.net ([127.0.0.1]) by localhost (mtaout20.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id p5nKXrqZq04Y; Wed, 3 Jan 2018 15:44:20 +0100 (CET) Received: from mail-qt0-f175.google.com (mail-qt0-f175.google.com [209.85.216.175]) by mtaout20.int.yaziba.net (Postfix) with ESMTPSA id 7E43E160651; Wed, 3 Jan 2018 15:44:20 +0100 (CET) Received: by mail-qt0-f175.google.com with SMTP id k19so2330820qtj.6; Wed, 03 Jan 2018 06:44:20 -0800 (PST) X-Gm-Message-State: AKGB3mL3Rb8rtQCe4BVgQIJTGV2eBv3Pd0ySdsZsDd4G+7RT87z2Ti/5 +X6ddLmigpCjHx04jXZ6gdIS/D2DD/RdCDD0C90= X-Google-Smtp-Source: ACJfBovMbBJQ0BiahXqWfVYUk+EegOVqyKycM+W1tAtEpQVZ5xvyg8c2Xf28kRJp3y26G+unhTpO0nVu153IWiSlBRU= X-Received: by 10.237.35.37 with SMTP id h34mr2025469qtc.9.1514990659384; Wed, 03 Jan 2018 06:44:19 -0800 (PST) MIME-Version: 1.0 Received: by 10.200.24.163 with HTTP; Wed, 3 Jan 2018 06:43:58 -0800 (PST) In-Reply-To: References: From: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Date: Wed, 3 Jan 2018 15:43:58 +0100 X-Gmail-Original-Message-ID: Message-ID: To: Xavier Leroy Cc: OCaml Mailing List Content-Type: multipart/alternative; boundary="001a113e4318173a8c0561e040c6" X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -51 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrgedtuddrjeefgdeilecutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnegoufhushhpvggtthffohhmrghinhculdegledmnecujfgurhepjghfhfffkffuvfgtsegrtderredttdejnecuhfhrohhmpefpihgtohhljohspgfqjhgvuggrpgeumohruceonhhitgholhgrshdrohhjvggurgdrsggrrheslhgvgihifhhirdgtohhmqeenucffohhmrghinhepihhnrhhirgdrfhhrpdihrghhohhordgtohhmpdhnrghgohihrgdquhdrrggtrdhjphenucfkphepvddtledrkeehrddvudeirddujeehnecurfgrrhgrmhepmhhouggvpehsmhhtphhouhht X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] A question about "8.9 First-class modules -> Advanced examples" section of the reference manual --001a113e4318173a8c0561e040c6 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Oops, that's right! Sorry for the misunderstanding. Best wishes, Nicol=C3=A1s On Wed, Jan 3, 2018 at 11:47 AM, Xavier Leroy wrote: > On 01/03/2018 11:22 AM, Nicol=C3=A1s Ojeda B=C3=A4r wrote: > > I am not sure how up-to-date they are, but you may be interested in the > following notes by Xavier: > > > > https://caml.inria.fr/pub/papers/xleroy-recursive_modules-03.pdf > > Those notes are about recursive modules, but the original poster was > asking for material about first-class modules. The canonical reference i= s: > > First-class modules and composable signatures in Objective Caml 3.12 > Alain Frisch and Jacques Garrigue. ML Workshop 2010, Baltimore, MD. > > Abstract: https://www.math.nagoya-u.ac.jp/~garrigue/papers/ml2010.pdf > Slides: https://www.math.nagoya-u.ac.jp/~garrigue/papers/ml2010-show.pdf > > Hope this helps, > > - Xavier Leroy > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --001a113e4318173a8c0561e040c6 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Oops, that's right! Sorry for the misunderstanding.
Best wishes,
Nicol=C3=A1s

On Wed, Jan 3, 2018 at 11:4= 7 AM, Xavier Leroy <Xavier.Leroy@inria.fr> wrote:
On 01/03/2018 11:22 AM, Nicol= =C3=A1s Ojeda B=C3=A4r wrote:
> I am not sure how up-to-date they are, but you may be interested in th= e following notes by Xavier:
>
>=C2=A0 =C2=A0https://caml.inria.= fr/pub/papers/xleroy-recursive_modules-03.pdf

Those notes are about recursive modules, but the original poster was= asking for material about first-class modules.=C2=A0 The canonical referen= ce is:

First-class modules and composable signatures in Objective Caml 3.12
=C2=A0 =C2=A0 Alain Frisch and Jacques Garrigue. ML Workshop 2010, Baltimor= e, MD.

Abstract: https://www.math.nagoya-u.ac.jp/~garrigue/papers/ml2010.pdf
Slides: https://www.math.nagoya-u.ac= .jp/~garrigue/papers/ml2010-show.pdf

Hope this helps,

- Xavier Leroy

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001a113e4318173a8c0561e040c6--