Table of Contents

Summary

Introduction

Section 1 - Overview

Section 1.1 - Semantics

Section 1.2 - Syntax

Section 1.3 - Notation and Terminology

Section 2 - Lexical Conventions

Section 2.1 - Identifiers

Section 2.2 - Whitespace and Comments

Section 2.3 - Other Notations

Section 2.4 - Datum Labels

Section 3 - Basic Concepts

Section 3.1 - Variables, Syntactic Keywords, and Regions

Section 3.2 - Disjointness of Types

Section 3.3 - External Representations

Section 3.4 - Storage Model

Section 3.5 - Proper Tail Recursion

Section 4 - Expressions

Section 4.1 - Primitive Expression Types

Section 4.2.1 - Conditionals

Section 4.2.2 - Binding constructs

Section 4.2.3 - Sequencing

Section 4.2.4 - Iteration

Section 4.2.5 - Delayed evaluation