From iavor.diatchki at gmail.com  Tue Sep  2 01:16:50 2008
From: iavor.diatchki at gmail.com (Iavor Diatchki)
Date: Tue Sep  2 01:15:05 2008
Subject: Mutually-recursive/cyclic module imports
In-Reply-To: <20080826233348.GG15616@sliver.repetae.net>
References: <48A58434.40607@charter.net>
	<20080826233133.GF15616@sliver.repetae.net>
	<20080826233348.GG15616@sliver.repetae.net>
Message-ID: <5ab17e790809012216k3b6a1798o356ba5cca9bdfcb3@mail.gmail.com>

Hi,
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,
-Iavor


On Tue, Aug 26, 2008 at 4:33 PM, John Meacham <john@repetae.net> wrote:
> On Tue, Aug 26, 2008 at 04:31:33PM -0700, John Meacham wrote:
>> http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.8816
>
> Doh! wrong paper.
>
> http://portal.acm.org/citation.cfm?id=581690.581692
>
> anyone have a free link?
>
>        John
>
> --
> John Meacham - ?repetae.net?john?
> _______________________________________________
> Haskell-prime mailing list
> Haskell-prime@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-prime
>
From john at repetae.net  Wed Sep  3 07:29:17 2008
From: john at repetae.net (John Meacham)
Date: Wed Sep  3 07:27:26 2008
Subject: Mutually-recursive/cyclic module imports
In-Reply-To: <5ab17e790809012216k3b6a1798o356ba5cca9bdfcb3@mail.gmail.com>
References: <48A58434.40607@charter.net>
	<20080826233133.GF15616@sliver.repetae.net>
	<20080826233348.GG15616@sliver.repetae.net>
	<5ab17e790809012216k3b6a1798o356ba5cca9bdfcb3@mail.gmail.com>
Message-ID: <20080903112917.GJ30189@sliver.repetae.net>

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?