Re:Introducing Capsicum: Practical Capabilities for UNIX
by cannedprimates on Tuesday December 28, 2010 @02:23AM
(#2044915)
Have you seen http://lambda-the-ultimate.org/node/1635 (Lightweight static capabilities)? Author's page: http://okmij.org/ftp/Computation/lightweight-dependent-typin...
[ Parent
| on HN ]