Re:The Nature of Lisp (2006)
by bitwize on Wednesday May 20, 2015 @11:09AM
(#9576819)
Jonathan Rees's 1995 paper "A Security Kernel Based on the Lambda Calculus" was enlightening. Not only was it capability-based security in Scheme -- but capabilities are lambdas!
http://mumble.net/~jar/pubs/secureos/