Theory

• 1. automatic-memory-management
• 2. lisp
• 3. rtti
• 4. scoping
• 5. sml-type-system
• 6. type-system-classification