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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 480D882355 for ; Wed, 3 Jan 2018 11:47:21 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xavier.leroy@gmail.com; spf=Pass smtp.mailfrom=xavier.leroy@gmail.com; spf=None smtp.helo=postmaster@mail-wr0-f170.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of xavier.leroy@gmail.com) identity=pra; client-ip=209.85.128.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="xavier.leroy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of xavier.leroy@gmail.com designates 209.85.128.170 as permitted sender) identity=mailfrom; client-ip=209.85.128.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="xavier.leroy@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-wr0-f170.google.com) identity=helo; client-ip=209.85.128.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="postmaster@mail-wr0-f170.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A4aicihCfy1Qja4a1Q0PGUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT7oMbcNUDSrc9gkEXOFd2Cra4c0qyO6+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+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oHLCM3/n/ZisJwj6xVrhyuqBN9zIHIb4+YL+Z+c6DHcN8GWWZMUMRcWipcCY28?= =?us-ascii?q?dYsPCO8BMP5ZoIbnuVsOrAWxBROxD+3p1DBInHj23K0n2OkmEA7JxhIgH9MQv3?= =?us-ascii?q?TOttn7MrkdUfqyzKjI1jjDbvVW2S386IfSaBwhr+uMUKt2fMHMx0cvEAbFgU+R?= =?us-ascii?q?qYzjJz6V1+INs3Ka7+V6T+6vhXQnpxl3oje1yccsjYnIiZgMxlDZ7yl22po6Kc?= =?us-ascii?q?e6SE5jZ9OvDZhetzmCOodoXs8vR3tktSU6x7EcpJK3YisHxI46yxPdd/CLa4uF?= =?us-ascii?q?7gz5WOqPLzp1hmhpdbCiixqo7EStzvDwW8+p21hQtCVFiMPDtnUV2hzT9MeHTv?= =?us-ascii?q?x981+k2TmV1gDT7vhIIE4ulabHMpIhzKM8m5gPvUjZES/2n0L2jKCSdko64OSn?= =?us-ascii?q?9+PnYrD+qp+dMY97lB3+P7wwlsCjBek0KAsDUmiB9eihyrHu/lf1TKhIg/Eqiq?= =?us-ascii?q?XZtYrVJcUfpq63GQ9V1YMj5g6wDji8ztQYnGcILEhfdBKDkYfpIVbOIfDjAPew?= =?us-ascii?q?hlSjijZrx/TcMrL9BZXNK2DPkK39crZl905c1A0zwMhD6J1OD7EBJOv/WkvwtN?= =?us-ascii?q?zDEh80KBe0wubiCNVlzIwSQ2OPAqmDMKPTq1CE/OwvI/PfLLMS7T30Lvxg4//1?= =?us-ascii?q?kVc4n0UcdO+nx8g5cne9S8RvPUSUezLIj80GAC9ejgMgTeHwznmPSzlCT3e0Ra?= =?us-ascii?q?M1oD8hXtH1RbzfT5yg1eTSlBywGYdbMzhL?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A+AQAVtExaf6qAVdFdFgUBAQEBAwEBA?= =?us-ascii?q?QkBAQGEFBADgQUThAeZPoIBmUkjiUpDFAEBAQEBAQEBAQESAQEJCwsIJjGCOCK?= =?us-ascii?q?CSgEDAiMECwENARInAwwBBQUYAgIfBwICNAEFARwTCAEBihIDFQQMpQpAjBCBb?= =?us-ascii?q?TqDCwWECCcNgxoCAQUJAQh9gn2CEoFWghKDBYMwgjqCS4JlBaNOgQqGeY0zjAs?= =?us-ascii?q?Rh2WNJYkyAgQCBAUCBhQlgRc2gXEyGidOgil5gUxEgU93AQGJFAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0A+AQAVtExaf6qAVdFdFgUBAQEBAwEBAQkBAQGEFBADgQU?= =?us-ascii?q?ThAeZPoIBmUkjiUpDFAEBAQEBAQEBAQESAQEJCwsIJjGCOCKCSgEDAiMECwENA?= =?us-ascii?q?RInAwwBBQUYAgIfBwICNAEFARwTCAEBihIDFQQMpQpAjBCBbTqDCwWECCcNgxo?= =?us-ascii?q?CAQUJAQh9gn2CEoFWghKDBYMwgjqCS4JlBaNOgQqGeY0zjAsRh2WNJYkyAgQCB?= =?us-ascii?q?AUCBhQlgRc2gXEyGidOgil5gUxEgU93AQGJFAEBAQ?= X-IronPort-AV: E=Sophos;i="5.45,501,1508796000"; d="scan'208";a="249958393" Received: from mail-wr0-f170.google.com ([209.85.128.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 03 Jan 2018 11:47:20 +0100 Received: by mail-wr0-f170.google.com with SMTP id w107so1096836wrb.9 for ; Wed, 03 Jan 2018 02:47:20 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:subject:to:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=Rd71iU05Lyv/RFHsYn5qJNuDWEoqM6y0v+58xLozuHY=; b=tU8x3hsWwA0cgz+xXg7QAuGp4qHJ8WUsbwJG1YgXaBiqKh3qJPojJMHOdK/48pKbJt BhVIjgwkPcy3LNEk6ndBAfVnpkBTTm8lIaqP21JaSRy6paUtqX1pb1T6KmGt+9WqdIQ7 x5Adm3bakv7EFpRlnBg0IbuUMHwpy5oArKp6QTQ3Y3HSilm+7QHELEDFGrAMGgdBUwD8 wew3fOZDThzdeAcQ6AEf1ViiO/ycZ1z3cdc5H1ilMgDHmhuSx6o4BjLjy9DstRNEnA/W sYUbJcAvtcjKA3Jcu6Kt4PJc6d89THyrwc7gq1Q1q6G30HsmTTlShh4uhMCBZucetGty PnSQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:subject:to:references:from:message-id :date:user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=Rd71iU05Lyv/RFHsYn5qJNuDWEoqM6y0v+58xLozuHY=; b=EElFvhKRAQ2hN1Wy/GJX69H1Z1iNKgbOnrzWjlpUeYC8flAjr/9GAfs4tYCJ8p9pV9 J3gZexWxEMwQtgERg8hz/ZqQnQ7AkcpEooRx26Za8gxFu4XQLQ9zLGTCfBqSe3NAvXBg 3gxabUt+iKAI0huCAML7K2q7o5E9E9Ml2bqpCwUha//Q1+L47CEiL7fXxbn5PzGDRIyO upUFp/it5gySLdO4lRGGTnjBlIzQPC1nFx7RfKSj2aDhs84hy8WUfaT4kkOQ8vfrSgKe KaKtD0KHHuKLsZh2q7DaahWfvaRWPJjP9pfDJbndTpeXN+TE1VQ8vg1mgZHMPNOwP5en ICOQ== X-Gm-Message-State: AKGB3mJAmcOqMW4qSvGLOzoNDIyyu2hLCQIWAHV5780ArjI4ClEgrgRU Cq/oqcnL21EpSxEDxX03PueYtJ7X X-Google-Smtp-Source: ACJfBov6PtdRUBAUOQNkOIi+qUlL9GSp4GulY7NUDR9VzodDQwX/QreY30SVhjnHmtz3NZMj4nbiqg== X-Received: by 10.223.171.132 with SMTP id s4mr1084711wrc.194.1514976439712; Wed, 03 Jan 2018 02:47:19 -0800 (PST) Received: from [192.168.1.2] (che78-2-82-237-71-191.fbx.proxad.net. [82.237.71.191]) by smtp.gmail.com with ESMTPSA id t61sm2062084wrc.21.2018.01.03.02.47.18 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 03 Jan 2018 02:47:19 -0800 (PST) Sender: Xavier Leroy To: caml-list@inria.fr References: From: Xavier Leroy Message-ID: Date: Wed, 3 Jan 2018 11:47:18 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] A question about "8.9 First-class modules -> Advanced examples" section of the reference manual On 01/03/2018 11:22 AM, Nicolás Ojeda Bär 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 is: 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