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