> What are first class modules ? Can you give a reference (preferably
 > online) ?

Modules can be viewed as records. See Luca Cardelli and Peter Wegner:
"On Understanding Types, Data Abstraction, and Polymorphism". 

Claus Reinke has a virtual bookshelf devoted to modules at

  http://www.informatik.uni-kiel.de/~cr/bib/bookshelf/Modules.html

where this article can be found.

/M



Reply via email to