Examples: Language Features

	..	Index to Examples.
	7/01	Syntactic type checking.
	7/02	Strong type checking by symbolic interpretation.
	7/03	Semantic errors in type checking.
	7/04	Compile functions into stack machine instructions. No parameters or local variables.
	7/05	Semantic errors in functions.
	7/06	Compile functions into stack machine instructions. Parameters and local variables.
	7/07	Semantic errors in functions.
	7/08	Mutually recursive functions.
	7/09	Compile functions into stack machine instructions. Block scopes.
	7/10	Scope puzzle.
	7/11	Simple shadowing example.
	7/12	Nested functions: Factorial with a recursive helper function. Syntax check.
	7/13	Compile nested functions into stack machine instructions.
	7/14	Euclid's algorithm with a helper function.
	7/15	Mutually recursive functions.
	7/16	Scope puzzle; undefined variables.
	7/17	Shadowing example.
	7/18	Setting function results from nested functions.
	7/19	Semantic errors in nested functions.