[cap-talk] Memory Safety (was: Midori in The Register)

[Jonathan S. Shapiro]

On Wed, 2008-08-06 at 14:16 -0700, Mike Samuel wrote:

> It seems odd for a definition of type safety to depend on the
> definition of attacker.  Specifically, if Apache contributors are
> assumed not to be attackers, does that change whether or not apache is
> type-safe.


   See:  Mads Toffe, "Sound and Complete Inference for Systems
         Programmers". Journal of Functional Programmers, volume 15,
         Cambridge University Press, 2005.

Which gives a comprehensive treatment of this.