[PRL] IOP and disjoint unions

[Matthias Felleisen]

On Apr 29, 2005, at 9:30 AM, Richard Cobbe wrote:

> On Thu, Apr 28, 2005 at 01:41:41PM -0700, Paul A. Steckler wrote:
>>> Second, at least in our current thinking about Honu, interfaces/types
>>> are not purely static entities any more than they are in Java.
>>
>> Are there any publicly-available design documents for Honu?
>
> (Sorry for the delayed response.)
>
> No, not yet; we're still trying to publish.  We're hopeful that our
> latest submission will get into ICFP, but we won't know for several
> weeks yet.

Actually it has nothing to do with publications. I am hoping to get an 
implementation/documentation going the way we did it for mzscheme and 
by mid-summer you can hopefully program in the core calculus. -- 
Matthias, rolling up email backwards