On Mon, Sep 01, 2008 at 10:16:50PM -0700, Iavor Diatchki wrote: > a free copy is available at: > http://www.purely-functional.net/yav/publications/modules98.pdf > (the source code, is also available at the same site). > Hope that this helps,
Thanks. I liked this paper and hope we can come up with a similar formal treatment of the module system for haskell' in the specification itself. describing the result of import/export statements as the minimal fixpoint of a set of equations is delightfully concise and straightforward. -- John Meacham - ⑆repetae.net⑆john⑈ _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
