[cap-talk] Type-passing and capabilities (the E edition)

[David Barbour]

On Sat, Apr 16, 2011 at 12:09 PM, Sandro Magi <naasking at higherlogics.com>wrote:

> This is not a language equivalence, this is a program
> equivalence.


Personally, I think that's enough to ignore the rest. You're still insisting
on confusing an 'implementation' (a transform that preserves behavior) with
semantics.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.eros-os.org/pipermail/cap-talk/attachments/20110416/aa4efa7b/attachment.html