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