7.3 Implementation

    7.3.1 C: Interpreter

    7.3.2 C: OMac

    7.3.3 B: SMoLTalk

    7.3.4 C: Type Checker

    7.3.5 A: Type Inference

    7.3.6 B: ACI

    7.3.7 B: Lazy

    7.3.8 A: Generators

For the Plait language: