Oops, that's right! Sorry for the misunderstanding.

Best wishes,
Nicolás

On Wed, Jan 3, 2018 at 11:47 AM, Xavier Leroy <Xavier.Leroy@inria.fr> wrote:

> 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
>
> --
> 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
>