box and pointer diagrams (BPDs)
rules
- every box has two compartments
- left compartment has an outgoing arrow (usually downwards)
- right compartment has an outgoing arrow (usually rightwards), or is slashed
- exactly one box has an incoming arrow with no source
- primitive values are drawn with circles
example
- (cons 1 (cons 2 (cons 3 nil)))