The W7 Language, a variant of SchemeLanguage that is an ObjectCapabilityLanguage.
See "A Security Kernel Based on the LambdaCalculus" at http://mumble.net/jar/pubs/secureos/
CategoryProgrammingLanguage