The files in this directory illustrate various feature ofthe Moscow ML module language. To try out the example in file.sml simple type: mosml -liberal file.sml  or mosml file.sml to have mosml highlight (ie. warn about) any extensions that are used.  array.sml        - implementing dynamically sized, functional arrays                     using first-class modules  choice.sml       - conditional module declarations using first-class modules  collect.sml      - simple example illustrating the difference between                   generative and applicative functors and the motivation                    for supporting both. matrix.sml       - implementing dynamically sized, functional matrices                    using first-class modules (uses array.sml) bootstrap.sml    - implementing Chris Okasaki's "bootstrapped heaps"                   The example uses higher-order functors, applicative                    functors and recursive structures and signatures                   to good effect. poly.sml         - implementing polynomials using higher-order functors  recursion.sml    - simple recursive structures and signatures  sieve.sml        - implementing the Sieve of Eratosthenes using                    first-class structures