Types and Programming Languages (The MIT Press)

13.3のReferenceのEvaluationで、参照の意味論の説明で、最初にbyte arrayのことから始まったので、参照の話にはやはりそういう泥臭い感じの話を避けることはできないのかなとちょっと思った。少し先を読み進めれば、抽象化した議論になったけど。