Types vs Values

• Type checking done by compiler
• Value checking done by interpreter