3.3. Modeling with Mutable Data

• 3.3.1. Mutable List Structure

• 3.3.2. Representing Queues

• 3.3.3. Representing Tables

• 3.3.4. A Simulator for Digital Circuits

• 3.3.5. Propagation of Constraints