Lecture 4: The Declarative Sequential Kernel Language

Types and Type Checking

The Practical Language—Extensions

Syntactic Sugar

Linguistic Abstractions

Further Extensions and Comments

Declarative Programming

Variables and Identifiers

Dataflow Variables

Expressions and Statements

Functions and Procedures

Data structures

Lists