Iavor Diatchki | 2 Sep 07:16 2008
Picon

Re: Mutually-recursive/cyclic module imports

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 <at> 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 <at> haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-prime
>
_______________________________________________
Haskell-prime mailing list
(Continue reading)

John Meacham | 3 Sep 13:29 2008
Picon

Re: Mutually-recursive/cyclic module imports

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⑈

Gmane