Mutually-recursive/cyclic module imports

[John Meacham]

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⑈