First-class module
Revision as of 21:07, 25 March 2006 by EndreyMark (talk | contribs) (Splitting the page into two titled sections (,,Haskell proposal'' vs ,,Other examples''))
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Haskell proposals
Mark Shields and Simon Peyton Jones First-class Modules for Haskell discusses a lot of extension proposals integrated in a coherent design.
Other examples
Cayene is a programming laguage influenced by Haskell, constructive type theory. Bacause it has also Dependent types, it can leverage them so that it is not forced to have a separate module language and a core language.