A　 Abstract interpretation Abstraction Alternative Anonymous function Application Arity Assignment 　 　B　 B&W Binding Block Bound variable 　 　C　 Call-back function Closure Coercion Command Constant applicative form Copy mechanism Correctness Currying 　 　D　 Declaration Definitional mechanism Deforestation Destructive update(assignment) Dynamic binding 　 　E　 Environment Evaluation order Event Event-driven programming Expression 　 　F　 First-class object Free variable Functional paradigm 　 　H　 Higher-order function 　 　I　 Imperative paradigm Infinite data structure 　 　L　 Lambda Lifetime Literal 　 　N　 Name Namespace 　 　O　 Occurrence 　 　P　 Paradigm Parameter association Parameter mechanism Partial application Partial evaluation Purity 　 　R　 Referential Transparency 　 　S　 Scope SICP Side effect Static binding Strictness Strictness analysis Substitution 　 　T　 Termination Type checking Type inference Typing 　 　V　 Variable