3 Sep
2008
3 Sep
'08
11:29 a.m.
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⑈