[cap-talk] Fwd: definition of the term "safe language"
raould at gmail.com
Fri Apr 9 14:58:53 PDT 2010
---------- Forwarded message ----------
From: Raoul Duke <raould at gmail.com>
Date: Fri, Apr 9, 2010 at 2:58 PM
Subject: Re: [cap-talk] definition of the term "safe language"
To: mikesamuel at gmail.com
On Fri, Apr 9, 2010 at 2:51 PM, Mike Samuel <mikesamuel at gmail.com> wrote:
> Please see the 7th and 12th posts.
i have to apologize for being easily lost and confused. trying to
parse things and put them together, i am guessing you mean that
Pierce's definition of 'safe language' requires all of the language's
abstractions to be protected, and that if any single one is not, then
it is not a safe language?
More information about the cap-talk