From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <e683beccf26a4e27e68aacd38c637b06@terzarima.net>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] MS Research reinvents Inferno?
From: Charles Forsyth <forsyth@terzarima.net>
Date: Tue, 13 Dec 2005 17:56:46 +0000
In-Reply-To: <ee9e417a0512130943i35bfb952q8eece80ff581350@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: c312e0c0-ead0-11e9-9d60-3106f5b1d025

> They push the type-checking further in other areas too.
> The channels are two-way, with defined protocols running over
> them.  Each reference to a channel is marked as to which half
> of the protocol it is expected to run, and then the code using the

i thought that was potentially interesting (and there were other things), but i was
also fairly sure i'd seen that done for (a variant of) occam-2