PL0 : Expressions-Binding - Environments - declarations - Commands - Stores - Declarations and Commands - Blocks - Qualification - Pragmatics - Data-Structured Data-Sequences - Control-Non- Determinacy - Programming Languages - Data as Functions - Data and Fixpoints - Normal Forms - Monomorphism - Polymorphism - Type Checking - Context - Abstracts - Procedures - Meanings - parameters - The Future