References and Whitepapers

• A Security Kernel Based on the Lambda Calculus
• First Class Environments
• Specification of a Lisp Operating System
• Scheme48
• Scheme48 Module System
• VLISP verified PreScheme compiler
• The E Programming Language