Re: imagining a programming language with a capability calling convention

David Nicol writes:

> I am not aware of any work done currently that uses capabilities in the calling
> conventions in programming languages.

This comes a little late, but you might find this interesting:

  "Beyond the PDP-11: Processor support for a memory-safe C abstract machine"
  http://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201503-asplos2015-cheri-cmachine.pdf

The project's page has other interesting publications:

  http://www.cl.cam.ac.uk/research/security/ctsrd/cheri/


Cheers,
  Lluis

-- 
"And it's much the same thing with knowledge, for whenever you learn
something new, the whole world becomes that much richer."
-- The Princess of Pure Reason, as told by Norton Juster in The Phantom
Tollbooth