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