First-class module
Revision as of 20:54, 25 March 2006 by EndreyMark (talk | contribs) (Creating the page with the description of concepts which forced me to create this page: Cayene language from Dependent types and Mark Shields & Simon Peyton Jones's article from Future)
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.
Mark Shields and Simon Peyton Jones First-class Modules for Haskell discusses a lot of extension proposals integrated in a coherent design.
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.