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