The Coq mailing list

[Jacek Chrzaszcz <chrzaszc AT mimuw.edu.pl>]

Hello all,

A draft version of the paper describing the implementation of modules in
version 7.4 of Coq can be found at


http://www.mimuw.edu.pl/~chrzaszc/papers/Chrzaszcz-Implementing-modules-in-the-system-Coq.ps.gz


It describes in details the design choices and constitutes a gentle
introduction to Coq sources (well, the parts about modules). If you are
interested and have any questions about modules, their implementation or
any suggestions to improve the paper, please do not hesitate to contact me.


Jacek Chrzaszcz

--
Institute of Informatics, Warsaw Universisty, ul. Banacha 2, Warszawa, Poland
http://www.mimuw.edu.pl/~chrzaszc