Mutually-recursive/cyclic module imports
john at repetae.net
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 - ⑆repetae.net⑆john⑈
More information about the Haskell-prime