Mutually-recursive/cyclic module imports

John Meacham john at
Wed Sep 3 07:29:17 EDT 2008

On Mon, Sep 01, 2008 at 10:16:50PM -0700, Iavor Diatchki wrote:
> a free copy is available at:
> (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

John Meacham - ⑆⑆john⑈

More information about the Haskell-prime mailing list