Run-Time System


35 The Type System